Alternatives and similar repositories for RepairChain

Users that are interested in RepairChain are comparing it to the libraries listed below

• niklasrisse / LimitsOfML4Vuln
  ☆25Updated last year
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆16Updated 2 years ago
• vandaltool / vandalir
  ☆25Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆13Updated 4 years ago
• moyix / elmfuzz
  Evolving fuzzers with large language models
  ☆17Updated 2 years ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated last year
• boschresearch / mlfuzz
  ☆18Updated 3 months ago
• AIxCyberChallenge / sherpa
  Security Harness Engineering for Robust Program Analysis
  ☆106Updated 4 months ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• patchloc / VulnLoc
  ☆12Updated 4 years ago
• dmc1778 / Orion
  Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
  ☆15Updated last year
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆57Updated 6 years ago
• niklasrisse / TopScoreWrongExam
  ☆37Updated 6 months ago
• vrthra / F1
  ☆82Updated 4 months ago
• ise-uiuc / KNighter
  [SOSP'25] Automatic checker synthesis for system-level static analysis
  ☆153Updated 2 months ago
• aixcc-public / challenge-001-exemplar
  Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…
  ☆59Updated last year
• VulnLoc / VulnLoc
  ☆34Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 5 years ago
• Practical-Formal-Methods / tailor
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Updated 4 years ago
• zeyugao / VirtualCompiler
  ☆13Updated 11 months ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 4 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 3 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• sunblaze-ucb / cybergym
  CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…
  ☆101Updated 2 months ago
• s3team / DeepFuzz
  ☆22Updated 5 years ago
• sefcom / TYGR
  ☆21Updated last year
• timothee-chauvin / eyeballvul
  future-proof vulnerability detection benchmark, based on CVEs in open-source repos
  ☆63Updated this week