Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software
☆160Sep 24, 2026Updated this week
Alternatives and similar repositories for oss-crs
Users that are interested in oss-crs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆645Nov 25, 2025Updated 10 months ago
- ☆27Aug 6, 2025Updated last year
- ☆10Apr 7, 2022Updated 4 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆50Mar 17, 2026Updated 6 months ago
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆48Dec 4, 2025Updated 9 months 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 Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Dec 14, 2021Updated 4 years ago
- Public Source code Release of Theori's AIxCC AFC Submission☆274Aug 5, 2025Updated last year
- Security Harness Engineering for Robust Program Analysis☆143Jan 23, 2026Updated 8 months ago
- SmallWorld is an environment for streamlined harnessing of binary code for the purpose of dynamic analysis.☆36Updated this week
- LLM-powered system that discovers and patches zero-day vulnerabilities in open source projects. 4th place, DARPA AIxCC.☆135Updated this week
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆127Feb 25, 2026Updated 7 months ago
- A data-flow-guided fuzzer☆125Aug 19, 2023Updated 3 years ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆159Sep 8, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Apr 21, 2026Updated 5 months ago
- a paper template☆59Aug 4, 2025Updated last year
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆24Dec 25, 2025Updated 9 months ago
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆467Jul 10, 2026Updated 2 months ago
- ☆143Aug 27, 2025Updated last year
- slides and papers from (or partly from) Bonan☆20Mar 8, 2024Updated 2 years ago
- VulnGym: A Real-World, Project-Level Vulnerability Benchmark for White-Box Vulnerability-Hunting Agents☆254Jun 26, 2026Updated 3 months ago
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆14Mar 9, 2022Updated 4 years ago
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 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.
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- ALIEN: idA Local varIables/inLine functIons rEcogNizer☆18Dec 21, 2021Updated 4 years ago
- [42-b3yond-6ug] This repository hosts BugBuster, our team’s submission to the AI Cyber Challenge Final Competition.☆31Aug 19, 2025Updated last year
- ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.☆107Sep 14, 2026Updated last week
- Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code☆23Jun 9, 2026Updated 3 months ago
- ☆116Aug 6, 2026Updated last month
- CVE-Genie☆92Feb 12, 2026Updated 7 months ago
- software vulnerabilities☆24Apr 3, 2019Updated 7 years ago
- Kernel isolation tester.☆18Oct 20, 2022Updated 3 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.
- OpenRewrite recipes for data flow analysis.☆16Updated this week
- Linear IL view for Binary Ninja☆13Feb 28, 2017Updated 9 years ago
- ☆48Nov 15, 2021Updated 4 years ago
- ☆15Dec 11, 2025Updated 9 months ago
- ☆20Mar 17, 2025Updated last year
- Resources accompanying the LibAFL workshop blog post☆19Sep 28, 2024Updated last year
- Inter-binary control flow graphing☆40Feb 25, 2026Updated 7 months ago