Sydr benchmark applications
☆17Jul 25, 2022Updated 3 years ago
Alternatives and similar repositories for sydr-benchmark
Users that are interested in sydr-benchmark are comparing it to the libraries listed below
Sorting:
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Fuzzing Lua runtimes without pain☆11Feb 25, 2026Updated last week
- ☆14Jun 18, 2023Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆16Jun 5, 2018Updated 7 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- A coverage-guided, native Lua fuzzing engine.☆59Feb 10, 2026Updated 3 weeks ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- SAIST - Static AI-powered Scanning Tool! Scan literally anything with ✨ AI ✨☆33Feb 11, 2026Updated 3 weeks ago
- ☆42Dec 4, 2025Updated 3 months ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 2 years ago
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆30Jan 20, 2026Updated last month
- ☆32Sep 29, 2025Updated 5 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆146Jan 21, 2026Updated last month
- A SyGuS Solver☆29May 18, 2025Updated 9 months ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- A design automation framework to engineer decision diagrams yourself☆26Feb 25, 2026Updated last week
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 2 weeks ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- RISCV backend for IDAPRO☆35Sep 5, 2020Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- ☆41Nov 20, 2017Updated 8 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago