trailofbits / threadsLinks
THREADS Conference Archive
☆16Updated 6 years ago
Alternatives and similar repositories for threads
Users that are interested in threads are comparing it to the libraries listed below
Sorting:
- Slides and very basic examples☆112Updated 8 years ago
- Implementations of program analysis tools with a focus on machine code☆209Updated 10 years ago
- Short, unrelated helper scripts for users of AFL (the fuzzer)☆112Updated 8 years ago
- ☆76Updated last year
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆144Updated 9 years ago
- An amd64 symbolic emulator☆313Updated 3 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆242Updated 5 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 8 years ago
- Differential fuzzing for the masses!☆153Updated 8 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆61Updated 8 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Semantic Binary Code Analysis Framework☆124Updated 9 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Return Oriented Programme Evolution with ROPER☆171Updated 6 years ago
- A program to draw rectangles from heap traces.☆135Updated 5 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- capstone based disassembler for extracting to binnavi☆228Updated 9 years ago
- Notes on various topics I'm interested in☆160Updated 9 years ago
- An open source, multi-architecture ROP compiler written in python☆162Updated 8 years ago
- ☆34Updated 8 years ago
- Binary Ninja Function Annotator☆40Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆171Updated 10 years ago
- ☆236Updated 7 years ago
- Example Manticore scripts☆68Updated last year
- A program that automatically generates AFL-enabled builds of Debian packages.☆92Updated 5 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago
- Fuzzing and Data Manipulation Framework (for GNU/Linux)☆163Updated last week
- Samples of Avatar firmware analysis (including NDSS'14 cases)☆21Updated 8 years ago
- A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.☆185Updated 2 years ago