Skip to content
KitploitKITPLOIT
उपकरणब्लॉग
जमा करें
उपकरणब्लॉग
जमा करें

हैकिंग, पेनटेस्ट और साइबर सुरक्षा उपकरण आपके सुरक्षा शस्त्रागार के लिए!

Kitploit हैकिंग, साइबर सुरक्षा और पेंटेस्टिंग टूल्स की एक निर्देशिका है। कमजोरियों को खोजने, सिस्टम का विश्लेषण करने, परीक्षण को स्वचालित करने और अपनी सुरक्षा को मजबूत करने के लिए नवीनतम प्रोजेक्ट अपडेट खोजें।

··फ़ीड·संपर्क·गोपनीयता·© 2026 Kitploit

टूल निर्देशिका

श्रेणियाँ

सभी श्रेणियाँ देखें
Loading categories
awesome-mba — मिश्रित बूलियन-अंकगणित संसाधनों की सूची | Kitploit
उपकरण/GitHubGitHub/gmh5225/awesome-mba
कोड विश्लेषणरिवर्स इंजीनियरिंगमालवेयर विश्लेषणबाइनरी विश्लेषणपेपर और शोधचयनित संसाधन
GitHubgmh5225/awesome-mba

awesome-mba

मिश्रित बूलियन-अंकगणित संसाधनों की सूची

रिपॉजिटरी देखें
421 साल पहलेअभी तक समीक्षित नहीं

सबसे लोकप्रिय

सभी देखें →

हमारे समुदाय द्वारा सबसे अधिक उपयोग किए जाने वाले उपकरण खोजें।

सभी उपकरण खोजें

हमारे उपकरणों का संग्रह ब्राउज़ करें

सभी उपकरण देखें →
साझा करें

इस रिपॉजिटरी में Mixed Boolean-Arithmetic (MBA) ऑब्सफसेशन से संबंधित लिंक शामिल हैं। PR का स्वागत है।

ध्यान दें कि यहाँ कुछ संसाधन MBA से कड़ाई से संबंधित नहीं हैं, हालाँकि ये सभी किसी न किसी रूप में प्रासंगिक हैं।

पेपर्स

  • Information Hiding in Software with Mixed Boolean-Arithmetic Transforms
  • Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools
  • Analysis and applications of orthogonal approaches to simplify Mixed Boolean-Arithmetic expressions
  • Code deobfuscation by program synthesis-aided simplification of Mixed Boolean-Arithmetic expressions
  • Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
  • MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
  • An In-Place Simplification on Mixed Boolean-Arithmetic Expressions
  • Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions
  • NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network
  • Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  • Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
  • Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
  • Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
  • Mixed Boolean-Arithmetic (MBA) Obfuscation Using Permutation Polynomials on Modular Lipschitz Integers
  • On simplifying expressions with mixed Boolean-arithmetic
  • Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques
  • Quadratic time algorithm for inversion of binary permutation polynomials
  • Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
  • Bypassing Malware Obfuscation with Dynamic Synthesis
  • Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate
  • Syntia: Synthesizing the Semantics of Obfuscated Code
  • Arybo: Manipulation, Canonicalization and Identification of Mixed Boolean-Arithmetic Symbolic Expressions
  • Loki: Hardening Code Obfuscation Against Automated Attacks
  • QSynth – A Program Synthesis based approach for Binary Code Deobfuscation
  • On polynomial functions (mod m)
  • Polynomial functions (modm)
  • Permutation Polynomials Modulo 2^w
  • Gröbner Bases for Boolean Function Minimization

कार्यान्वयन

सरलीकरण:

  • SiMBA: Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  • SiMBA++: Port of SiMBA to C/C++
  • GAMBA: Simplification of General Mixed Boolean-Arithmetic Expressions
  • Oracle Syntehsis Meets Equality Saturation
  • MSiMBA: Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
  • Simplifier: Efficient general mixed boolean-arithmetic (MBA) simplifier
  • MBA-Blast: Tool for simplification of MBA expressions
  • MBA-Solver: Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
  • Arybo: Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
  • msynth: Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
  • QSynth: Greybox Synthesizer geared for deobfuscation of assembly instructions
  • gooMBA: Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions
  • Syntia: Program synthesis based deobfuscation framework
  • Tigress Deobfuscation - Documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions
  • M3: An Efficient Deobfuscation of Mixed Boolean Arithmetic (MBA) Expressions Using Dynamic Analysis

बूलियन हेरफेर और न्यूनीकरण:

  • Gröbner Bases for Boolean Function Minimization
  • Espresso heuristic logic minimizer
  • Kitty: C++ boolean truth table library
  • Combining DNF minimization, ANF minimization, and up to 4-variable precomputed truth tables
  • DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
  • boolean_expression: a small Rust crate for Boolean expressions and BDDs

निर्माण:

  • MBA-Obfuscator: Tool for generating Non-linear Mixed Boolean-Arithmetic Expressions
  • Mba: Mixed Boolean-Arithmetic
  • Pocket: Mixed Boolean Arithmetic Expression Obfuscator
  • MBA-Generator: Generator for Mixed-Boolean-Arithmetic expressions.
  • Mutaben: Simple mixed-boolean-arithmetic (MBA) generator witten in python
  • Mixed-boolean-transform: Mixed boolean arithmetic x+y transform

ब्लॉग पोस्ट

  • Mixed Boolean-Arithmetic
  • Improving MBA Deobfuscation using Equality Saturation
  • What theoretical tools are needed to simplify MBA expressions?
  • Introduction to Pocket: obfuscator for Mixed Boolean Arithmetic expressions
  • Practical MBA Deobfuscation with msynth

विविध आइटम (MBA से केवल अप्रत्यक्ष रूप से संबंधित)

  • ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
  • Optir: Compiler optimizer for arbitrary control flow based on equality saturation
  • Z3 adventures and fast Boolean matching
  • Fast Boolean Matching Based on NPN Classification
  • SAT-Based Algorithms for Logic Minimization
  • Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical
टूल डाउनलोड करें