linuxthor / iamdynamicLinks
Linux assembly language minimal 'dynamic ELF' example plus experiments
☆25Updated 5 years ago
Alternatives and similar repositories for iamdynamic
Users that are interested in iamdynamic are comparing it to the libraries listed below
Sorting:
- ARMv7 architecture plugin☆41Updated last year
- ☆31Updated 5 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- Collection of various llvm passes☆128Updated 10 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 7 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 5 years ago
- A Linux x86_64 ELF loader in user-space written in Rust☆39Updated 4 years ago
- QuarkslaB Dynamic Linker library☆89Updated 10 months ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- Rewriting functions in compiled binaries using McSema☆90Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- integration with IDA☆93Updated 4 years ago
- Futile attempt to solve the Tigress challenges using angr☆22Updated 6 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- ☆76Updated 4 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Updated 3 months ago
- Load function names from an IDA Pro database inside GDB☆21Updated 7 years ago
- Abstract library to generate angr states from a debugger state☆60Updated 5 years ago
- Recover control flow graph from obfuscated codes☆39Updated 10 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- An AFL scaling benchmarking tool☆18Updated 5 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- BPF Processor for IDA Python☆52Updated 7 years ago
- Aarch64 architecture plugin☆84Updated last year
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- ☆60Updated 5 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆58Updated 6 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆80Updated 7 years ago