calaylin / bda
Programmer De-anonymization from Binary Executables
☆86Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for bda
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆241Updated 5 years ago
- Path based Dynamic Analysis☆113Updated 7 years ago
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- Binary analysis platform based on Octopus and Radare2☆78Updated 8 years ago
- Implementations of program analysis tools with a focus on machine code☆207Updated 10 years ago
- A framework for streamlining the capture of PANDA execution traces.☆55Updated 4 years ago
- Short, unrelated helper scripts for users of AFL (the fuzzer)☆110Updated 8 years ago
- Synesthesia, implemented as Yices scripts☆89Updated 7 years ago
- Return Oriented Programme Evolution with ROPER☆169Updated 5 years ago
- A static binary rewriter that does not use heuristics☆298Updated 6 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆91Updated 6 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆99Updated 7 months ago
- Run basic functions from stripped binaries cross platform☆110Updated 7 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 7 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆69Updated 4 years ago
- Differential fuzzing for the masses!☆149Updated 7 years ago
- A program that automatically generates AFL-enabled builds of Debian packages.☆92Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- Programmer De-anonymization via Code Stylometry☆73Updated 7 years ago
- Semantic Binary Code Analysis Framework☆124Updated 9 years ago
- grap: define and match graph patterns within binaries☆169Updated 3 years ago
- Small tool for generating ropchains using unicorn and z3☆197Updated 6 years ago
- BAP Plugins Repository☆57Updated 4 years ago