eqv / hexslides
An opinionated tool to create amazing presentations
☆35Updated last year
Related projects: ⓘ
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- KLEE Symbolic Execution Engine☆61Updated 4 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆43Updated 7 months ago
- The BAP tutorial☆71Updated last year
- A monitoring script for AFL☆39Updated 7 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 2 months ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 7 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆126Updated 2 years ago
- ☆12Updated last year
- About as basic of a mutator as you can get, but it does the trick in most situations☆58Updated 4 years ago
- ☆80Updated last year
- Rewriting functions in compiled binaries using McSema☆85Updated 5 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆133Updated 3 years ago
- Recent Fuzzing Paper☆34Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆62Updated 2 years ago
- ☆32Updated this week
- tool for multi-execution jump coverage introspection☆62Updated last year
- Modular And Compositional analysis with KLEE Engine☆113Updated 4 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Some Rust bindings for Binary Ninja☆31Updated 11 months ago
- Verified, Incremental, Binary Editing with Synthesis☆46Updated last year
- ☆126Updated 4 years ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆57Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆110Updated 3 years ago