eqv / hexslides
An opinionated tool to create amazing presentations
☆36Updated 2 years ago
Alternatives and similar repositories for hexslides:
Users that are interested in hexslides are comparing it to the libraries listed below
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- ☆96Updated 5 years ago
- The BAP tutorial☆73Updated 2 years ago
- An approximate solver for concolic execution☆18Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- ☆38Updated 4 years ago
- A collection of ready to use binary analysis tools☆56Updated last year
- About as basic of a mutator as you can get, but it does the trick in most situations☆61Updated 4 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- Fuzzing Parsers with Tokens☆32Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 4 months ago
- Modular And Compositional analysis with KLEE Engine☆115Updated 5 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- ☆83Updated 6 months ago
- BAP Plugins Repository☆57Updated 4 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago
- ☆131Updated 5 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- KLEE / CSE Project☆44Updated 4 years ago
- ☆12Updated 2 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 5 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A framework for instrumenting build tools☆85Updated 3 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago