Agentic predicate synthesis for directed fuzzing
☆14Oct 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for Locus
Users that are interested in Locus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Oct 14, 2026Updated 3 weeks ago
- homepage for proFL☆23Apr 26, 2021Updated 5 years ago
- ☆11Jul 23, 2026Updated 3 months ago
- ☆13May 19, 2024Updated 2 years ago
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆14Mar 13, 2024Updated 2 years ago
- 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.
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- [ICML 2026] SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark☆26Oct 26, 2026Updated last week
- Application using libopenikev2 and libopenikev2_impl libraries. It has a similar behaviour than others IKEv2 daemons, like racoon2 or ike…☆11Mar 19, 2020Updated 6 years ago
- ☆15Sep 1, 2025Updated last year
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆21Mar 12, 2026Updated 7 months ago
- ☆24Mar 7, 2025Updated last year
- Generates executable Proof-of-Concept for any bug in any project. AI agents discover and reproduce vulnerabilities — verified, not halluc…☆35May 5, 2026Updated 6 months ago
- This is a docker images different LTS version of Ubuntu with a working init process☆12Jul 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Review of the OffSec AI-300 Course☆18Aug 4, 2026Updated 3 months ago
- LangChain + LiteLLM that works☆49Sep 1, 2025Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated last year
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- Compiler Version Manager — A cross-platform C/C++ Compiler Version Manager for LLVM and GCC. Similar to rustup, nvm, or rbenv but for C/C…☆20Updated this week
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- Source code for Activated LoRA☆27Updated this week
- ☆42Nov 13, 2025Updated 11 months ago
- ☆16Dec 29, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Command line tool for model checking using LTL, CTL and CTL* formulas☆16Nov 15, 2024Updated last year
- Distributed Deep Learning Tutorial☆21Mar 10, 2026Updated 7 months ago
- A Benchmark Suite of Real-World Qiskit Bugs☆11Sep 21, 2026Updated last month
- This is docker images of Ubuntu 16.04 LTS with different versions of java☆14Dec 8, 2021Updated 4 years ago
- An educational toy fuzzer with big dreams☆12Dec 12, 2023Updated 2 years ago
- A controller for managing QEMU virtual machines created through Syzkaller's create-image.sh.☆13Sep 18, 2026Updated last month
- Python-based stack trace analysis tools☆10May 7, 2018Updated 8 years ago
- ☆11May 2, 2024Updated 2 years ago
- Java* Fuzzer for JVM☆11Nov 3, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI Agent for cost-efficient and trustworthy memory-safety vulnerability detection for large-scale codebases.☆36Oct 26, 2026Updated last week
- Human-In-The-Loop Automatic Program Repair☆19Dec 18, 2019Updated 6 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- ☆12Apr 20, 2017Updated 9 years ago
- DTLS 1.2/1.3 implementation (Sans‑IO, Sync)☆22Updated this week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆62Apr 1, 2024Updated 2 years ago
- Official code repository for the research paper *TrigFuzz: Triggering Conditions Guided Directed Fuzzing* (IEEE S&P 2026)☆41Aug 16, 2026Updated 2 months ago