AIxCC: automated vulnerability repair via LLMs, search, and static analysis
☆11Jul 16, 2024Updated last year
Alternatives and similar repositories for RepairChain
Users that are interested in RepairChain are comparing it to the libraries listed below
Sorting:
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Mar 19, 2021Updated 4 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- QEmu backend for avatar²☆22Mar 29, 2025Updated 11 months ago
- suite of binaries used to test function identification☆28Nov 7, 2017Updated 8 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆26Jan 1, 2026Updated last month
- The dataset used in the experiments for Esh (http://binsim.com)☆21Sep 8, 2016Updated 9 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Jul 12, 2016Updated 9 years ago
- Memory forensics of virtualization environments☆48Oct 4, 2014Updated 11 years ago
- ☆10Oct 16, 2018Updated 7 years ago
- System Validation Platform☆12Sep 18, 2025Updated 5 months ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Material for a tutorial on Bayesian analysis of survey data☆12Dec 30, 2025Updated 2 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- A thin async wrapper for SQLAlchemy sessions☆10Sep 13, 2021Updated 4 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Unleash the fuzz on your C codebase.☆12Jul 30, 2025Updated 7 months ago
- A C++ PMU and/or PDC Stream Simulator for IEEE C37.118.2☆12May 21, 2019Updated 6 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- A collection of alpha signals and settings submitted to WorldQuant BRAIN.☆23Jul 28, 2025Updated 7 months ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- Expand -> Retrieve -> Rerank - simple method with strong results on BRIGHT benchmark☆22Aug 22, 2025Updated 6 months ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- 📻 A Mand Mobile project example for Nuxt☆11Jan 4, 2023Updated 3 years ago
- ☆12Nov 2, 2015Updated 10 years ago
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Easily set Mac Retina display to higher unsupported resolutions☆12Feb 5, 2023Updated 3 years ago
- ☆11Nov 22, 2022Updated 3 years ago
- win32json Parser for TypeLibrary creation☆12Feb 10, 2022Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Demonstrating why Dynamic Method Invocation with unrestricted method names (the old default of Struts) is dangerous.☆12Sep 30, 2018Updated 7 years ago