☆27Jun 6, 2023Updated 2 years ago
Alternatives and similar repositories for vast-checker
Users that are interested in vast-checker are comparing it to the libraries listed below
Sorting:
- ☆14Jun 21, 2020Updated 5 years ago
- ☆10Jun 5, 2023Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- ☆18Nov 7, 2024Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- ☆12Sep 8, 2020Updated 5 years ago
- Get actually nice HTML coverage overview on libfuzzer runs☆31Apr 21, 2023Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Jan 20, 2026Updated last month
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- ☆13Jan 7, 2025Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆434Feb 13, 2026Updated 2 weeks ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- ☆19Aug 23, 2024Updated last year
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- Poise source code repo☆12Aug 12, 2020Updated 5 years ago
- ☆16Jun 11, 2022Updated 3 years ago
- ☆37Nov 16, 2023Updated 2 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- ☆17Mar 26, 2025Updated 11 months ago
- ☆17Sep 4, 2024Updated last year
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Dec 2, 2025Updated 3 months ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- Automatic solver for plane geometry problems.☆25Feb 5, 2026Updated 3 weeks ago
- Using e-graphs for logic synthesis (ICCAD'25)☆32Updated this week
- ☆17Nov 21, 2019Updated 6 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- CFG explorer for binaries☆84Oct 29, 2024Updated last year
- Implementing SPMD control flow in LLVM using reconverging CFGs - Vectorizing Divergent Control-Flow for SIMD Applications☆18Apr 11, 2019Updated 6 years ago
- ☆20May 30, 2024Updated last year
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆49Apr 22, 2025Updated 10 months ago
- Resources accompanying the LibAFL workshop blog post☆20Sep 28, 2024Updated last year