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☆21Updated this week
- Fuzzing Lua runtimes without pain☆16Aug 4, 2026Updated last week
- A coverage-guided, native Lua fuzzing engine.☆62Updated this week
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 3 years ago
- eBPF Security Monitoring and Sandboxing Agent Based on Aya☆54Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Juliet C/C++ Dynamic Test Suite☆38Apr 18, 2023Updated 3 years ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆152Updated this week
- Performance monitoring agent for eBPF programs☆18Updated this week
- ☆44Jul 28, 2026Updated 2 weeks ago
- A neural network fast inference library implementing Coral Edge TPU emulator using AVX2.☆15Mar 30, 2022Updated 4 years ago
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆31Aug 3, 2026Updated last week
- ☆15Jun 18, 2023Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆146Mar 16, 2026Updated 4 months ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SAIST - Static AI-powered Scanning Tool! Scan literally anything with ✨ AI ✨☆34May 26, 2026Updated 2 months ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years 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 5 months 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☆165Oct 12, 2025Updated 10 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 3 years ago
- An query language and interactive tooling to work with SBOM data.☆15Oct 7, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Testing system for Prolog programs on Flask+React. Useful for exam preparation☆23Jan 31, 2023Updated 3 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated last year
- Fuzz Rust code with LibAFL☆60Aug 30, 2023Updated 2 years ago
- ☆52Oct 4, 2021Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Structure aware fuzzing for network traffic packet captures☆14Nov 18, 2025Updated 8 months ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Using Microsoft Visual Studio 2019 Building A LLVM Out-Source-Tree Pass☆16Apr 30, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 6, 2026Updated last week
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆358Jun 2, 2026Updated 2 months ago