Step by step manual for building KLEE
☆18Jul 21, 2017Updated 8 years ago
Alternatives and similar repositories for klee-install
Users that are interested in klee-install are comparing it to the libraries listed below
Sorting:
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- ☆52Mar 26, 2016Updated 9 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- QA Skills Directory QA Skills is a curated directory of testing-specific skills for AI coding agents (Claude Code, Cursor, Copilot, etc.)…☆72Feb 27, 2026Updated last week
- ☆20May 30, 2024Updated last year
- ☆19Jun 25, 2025Updated 8 months ago
- Concolic Execution Fuzzer☆24Sep 22, 2021Updated 4 years ago
- Stony Brook University CFI library☆22Sep 30, 2014Updated 11 years ago
- This python/jython script is used as plugin to BinNavi tool to analyze a x86 binanry file to find buffer overflow prone functions. Such f…☆29Jan 8, 2013Updated 13 years ago
- A minimalistic and high-performance SAT solver☆29Feb 6, 2023Updated 3 years ago
- libgcrypt example code☆20Sep 1, 2015Updated 10 years ago
- ☆24Nov 18, 2025Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆25Nov 26, 2021Updated 4 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Feb 5, 2019Updated 7 years ago
- TaintAll, a taint analysis and concolic execution tool☆31Jan 2, 2017Updated 9 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Finding bugs in P4 compilers using translation validation.☆39Nov 4, 2025Updated 4 months ago
- ☆34Apr 17, 2021Updated 4 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Claude Vault is a command-line tool that syncs your Claude AI conversations & Claude Code into beautifully formatted Markdown files that …☆40Feb 24, 2026Updated last week
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆14Apr 21, 2019Updated 6 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆84Jun 21, 2020Updated 5 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Implementation of MetaVQA.☆12Jul 3, 2021Updated 4 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago