calaylin / bdaLinks
Programmer De-anonymization from Binary Executables
☆86Updated 7 years ago
Alternatives and similar repositories for bda
Users that are interested in bda are comparing it to the libraries listed below
Sorting:
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆242Updated 5 years ago
- Path based Dynamic Analysis☆117Updated 8 years ago
- A program that automatically generates AFL-enabled builds of Debian packages.☆92Updated 5 years ago
- Just a simple radare2 Jupyter kernel☆111Updated 7 years ago
- Semantic Binary Code Analysis Framework☆124Updated 9 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Run basic functions from stripped binaries cross platform☆111Updated 8 years ago
- Differential fuzzing for the masses!☆152Updated 7 years ago
- Python concolic execution framework for program analysis☆66Updated 10 years ago
- a grammar-based data generator☆60Updated 6 years ago
- Binary analysis platform based on Octopus and Radare2☆78Updated 8 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆35Updated 6 years ago
- capstone based disassembler for extracting to binnavi☆228Updated 8 years ago
- Implementations of program analysis tools with a focus on machine code☆210Updated 10 years ago
- ksfinder - Retrieve exported kernel symbols from physical memory dumps☆44Updated 8 years ago
- A place holder for Keystone repo. See https://github.com/keystone-engine/keystone for the real stuff☆67Updated 3 years ago
- ☆63Updated 9 years ago
- Dataset and sample code for the paper "A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software"☆27Updated 6 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- A scalable search index for binary files☆116Updated 7 years ago
- An evolutionary knowledge-based fuzzer☆271Updated last year
- Uncovering Class Hierarchies in C++ Programs☆127Updated 2 years ago
- ☆235Updated 7 years ago
- A program to draw rectangles from heap traces.☆134Updated 5 years ago
- Line-based testcase reducer☆97Updated 2 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago