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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated 2 years ago
- A coverage-guided, native Lua fuzzing engine.☆60Updated this week
- Fuzzing Lua runtimes without pain☆11Updated this week
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆36Apr 18, 2023Updated 2 years ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆146Updated this week
- ☆43Mar 18, 2026Updated last week
- SAIST - Static AI-powered Scanning Tool! Scan literally anything with ✨ AI ✨☆33Feb 11, 2026Updated last month
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆30Jan 20, 2026Updated 2 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆137Mar 16, 2026Updated last week
- A neural network fast inference library implementing Coral Edge TPU emulator using AVX2.☆14Mar 30, 2022Updated 3 years ago
- ☆15Jun 18, 2023Updated 2 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Mar 5, 2024Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Dec 20, 2024Updated last year
- PASTIS: Collaborative Fuzzing Framework☆166Oct 12, 2025Updated 5 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 7 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆121Apr 4, 2023Updated 2 years ago
- An query language and interactive tooling to work with SBOM data.☆15Oct 7, 2024Updated last year
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- ☆52Oct 4, 2021Updated 4 years ago
- Testing system for Prolog programs on Flask+React. Useful for exam preparation☆23Jan 31, 2023Updated 3 years ago
- Fuzz Rust code with LibAFL☆62Aug 30, 2023Updated 2 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Structure aware fuzzing for network traffic packet captures☆13Nov 18, 2025Updated 4 months ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- Using Microsoft Visual Studio 2019 Building A LLVM Out-Source-Tree Pass☆17Apr 30, 2020Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆77May 22, 2025Updated 10 months ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 3 months ago
- ☆16Jun 23, 2024Updated last year