BinaryAnalysisPlatform / bap-python
BAP python bindings
☆20Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for bap-python
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- REIL translation library☆36Updated 8 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Updated 7 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆27Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago
- Flex 'em lexers☆38Updated 4 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).☆14Updated last year
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- ☆63Updated 5 years ago
- ☆30Updated 4 years ago
- ☆42Updated 2 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- ☆15Updated 5 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Updated 8 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- Playground for testing feedback☆16Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆50Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago