mc-imperial / jfsView external linksLinks
Constraint solver based on coverage-guided fuzzing
☆249Nov 28, 2023Updated 2 years ago
Alternatives and similar repositories for jfs
Users that are interested in jfs are comparing it to the libraries listed below
Sorting:
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 6 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
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 9 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆69May 31, 2024Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Sep 20, 2019Updated 6 years ago
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆656Nov 23, 2022Updated 3 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Mar 14, 2022Updated 3 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
- ☆45Apr 10, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- a grammar based feedback fuzzer☆165Jul 1, 2023Updated 2 years 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
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- obfuscation that aims to not stand out☆23Mar 27, 2022Updated 3 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆214Sep 17, 2021Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- ☆386Oct 28, 2019Updated 6 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Sep 1, 2018Updated 7 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- ☆82Aug 20, 2025Updated 5 months ago
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- FairFuzz: AFL extension targeting rare branches☆252Feb 19, 2019Updated 6 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Feb 2, 2026Updated last week
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 8 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Block Oriented Programming -- Compiler☆187Nov 5, 2020Updated 5 years ago
- ☆21Oct 2, 2018Updated 7 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated last year