eqv / hexslides
An opinionated tool to create amazing presentations
☆36Updated last year
Related projects ⓘ
Alternatives and complementary repositories for hexslides
- tool for multi-execution jump coverage introspection☆63Updated last week
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆95Updated 5 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 3 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- Recent Fuzzing Paper☆34Updated last year
- The BAP tutorial☆72Updated last year
- Dynamically discover the commands used to create a piece of software☆46Updated 2 weeks ago
- Utilities for generating dynamic traces☆88Updated 2 years ago
- Flex 'em lexers☆38Updated 4 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 4 months ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆46Updated last month
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆135Updated 3 years ago
- A coverage-based software testing tool☆31Updated 3 years ago
- ☆63Updated 5 years ago
- ☆38Updated 4 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- ☆80Updated 2 months ago
- Modular And Compositional analysis with KLEE Engine☆113Updated 4 years ago
- BAP Plugins Repository☆57Updated 4 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- A Low Level IL emulator for Binary Ninja☆36Updated 5 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆64Updated 2 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆111Updated 3 years ago