trailofbits / vast-checker
☆24Updated last year
Related projects: ⓘ
- ☆37Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆63Updated 2 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 2 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆38Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆22Updated last year
- Challenging testcases for fuzzers☆64Updated 6 months ago
- ☆13Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆35Updated last year
- ☆32Updated this week
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆11Updated last year
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- Fuzzing Parsers with Tokens☆32Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆19Updated 6 months ago
- ☆15Updated 3 weeks ago
- ☆13Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 3 years ago
- A Hybrid Alias Analysis☆18Updated last year
- ☆11Updated 3 years ago
- ☆18Updated this week
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- ☆14Updated last year
- AIL: The angr Intermediate Language.☆28Updated this week
- ☆16Updated last year