Pinned Loading

1. Dna Dna Public

   LLVM based static binary analysis framework

   C++ 154 14

2. mazeworks-security/Simplifier mazeworks-security/Simplifier Public

   Efficient mixed boolean-arithmetic (MBA) simplifier

   C# 71 4

3. TritonTranslator TritonTranslator Public

   Standalone static version of Triton's x86/x64 translator

   C++ 18 5

4. mazeworks-security/MSiMBA mazeworks-security/MSiMBA Public

   Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

   C# 53 5

5. WinTTD WinTTD Public

   Reverse engineered API for Microsoft's Time Travel Debugger

   C++ 30 5

6. Symex Symex Public

   Symbolic executor for Binary Ninja's MLIL

   Python 19 2