uxmal / nucleus
Clone of "Compiler-Agnostic Function Detection in Binaries" source code
☆85Updated 3 years ago
Alternatives and similar repositories for nucleus:
Users that are interested in nucleus are comparing it to the libraries listed below
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆50Updated 9 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A Low Level IL emulator for Binary Ninja☆37Updated 6 years ago
- Flex 'em lexers☆39Updated 4 years ago
- ☆64Updated 3 months ago
- Build your emulation environment as needed☆65Updated 3 years ago
- Enable Virtualenv or Conda in IDAPython☆40Updated 4 years ago
- Symbolic Simplification with PAttern Matching☆104Updated 7 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 2 months ago
- suite of binaries used to test function identification☆28Updated 7 years ago
- Uncovering Class Hierarchies in C++ Programs☆126Updated 2 years ago
- Automatically exported from code.google.com/p/elfesteem☆34Updated 5 years ago
- integration with IDA☆92Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆121Updated 11 months ago
- Diablo is a retargetable link-time binary rewriting framework☆75Updated 4 years ago
- An extension to load Ghidra scripts written in Scala☆29Updated last week
- qb-sync is an open source tool to add some helpful glue between IDA Pro and Windbg. Its core feature is to dynamically synchronize IDA's …☆120Updated 9 years ago
- Futile attempt to solve the Tigress challenges using angr☆22Updated 5 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 5 months ago
- Transfer analysis data between Binary Ninja and IDA☆127Updated 4 months ago
- Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.☆72Updated 2 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.☆78Updated 4 years ago