Sydr benchmark applications
☆17Jul 25, 2022Updated 4 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☆21Aug 9, 2026Updated 2 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆155Oct 8, 2026Updated 3 weeks ago
- A coverage-guided, native Lua fuzzing engine.☆63Oct 1, 2026Updated last month
- Fuzzing Lua runtimes without pain☆16Oct 21, 2026Updated last week
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 3 years ago
- Juliet C/C++ Dynamic Test Suite☆39Apr 18, 2023Updated 3 years ago
- Performance monitoring agent for eBPF programs☆18Sep 14, 2026Updated last month
- eBPF Security Monitoring and Sandboxing Agent Based on Aya☆79Updated this week
- Service for distributed systems deployment; part of Asperitas☆19Mar 3, 2023Updated 3 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated 2 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- ☆44Sep 1, 2026Updated 2 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- 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.
- A neural network fast inference library implementing Coral Edge TPU emulator using AVX2.☆15Mar 30, 2022Updated 4 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆46Mar 5, 2024Updated 2 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆33Oct 24, 2026Updated last week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆154Mar 16, 2026Updated 7 months ago
- ☆15Jun 18, 2023Updated 3 years ago
- ☆52Oct 4, 2021Updated 5 years ago
- Fuzz Rust code with LibAFL☆60Aug 30, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- PASTIS: Collaborative Fuzzing Framework☆165Oct 12, 2025Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆121Apr 4, 2023Updated 3 years ago
- ☆16Aug 26, 2026Updated 2 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆362Jun 2, 2026Updated 5 months ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- ☆20Jun 23, 2021Updated 5 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆12Nov 22, 2022Updated 3 years ago
- ☆14Jul 3, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- SAIST - Static AI-powered Scanning Tool! Scan literally anything with ✨ AI ✨☆35Aug 22, 2026Updated 2 months ago
- ☆31Oct 15, 2018Updated 8 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- 125,183 Linux kernel bug-fix pairs mined from 20 years of git history (2005-2025), labelled with lifetime, subsystem, and bug class☆25Oct 5, 2026Updated 3 weeks ago
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆35Feb 16, 2026Updated 8 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago