A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
☆86Aug 27, 2020Updated 5 years ago
Alternatives and similar repositories for storm
Users that are interested in storm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"☆13Aug 27, 2020Updated 5 years ago
- ☆17Jan 13, 2022Updated 4 years ago
- ☆24Oct 31, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A fuzzing framework for SMT solvers☆196Dec 1, 2025Updated 3 months ago
- Static analysis framework for EVM bytecode☆31Jan 29, 2020Updated 6 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 7 months ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆44Apr 7, 2025Updated 11 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Ultimate program analysis framework.☆238Updated this week
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆113Apr 30, 2021Updated 4 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- SLOT: SMT-LLVM Optimizing Translation☆62Apr 17, 2025Updated 11 months ago
- ☆31Jul 21, 2020Updated 5 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆23Feb 10, 2026Updated last month
- ☆11Nov 27, 2024Updated last year
- Learning to Solve SMT Formulas Fast☆90Jun 17, 2024Updated last year
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆57Aug 17, 2019Updated 6 years ago
- Solver for Constrained Horn Clauses☆51Updated this week
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 4 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Oct 23, 2024Updated last year
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Materials from Fuzzing Bay Area meetups☆68Dec 20, 2019Updated 6 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Dec 4, 2025Updated 3 months ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Sep 21, 2020Updated 5 years ago
- Constraint solver based on coverage-guided fuzzing☆249Nov 28, 2023Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- Writing Radare2 plugins in various languages☆18Mar 19, 2026Updated last week
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Oct 25, 2014Updated 11 years ago