yuntongzhang / vulnfixLinks
Program Vulnerability Repair via Inductive Inference
☆20Updated last year
Alternatives and similar repositories for vulnfix
Users that are interested in vulnfix are comparing it to the libraries listed below
Sorting:
- ☆25Updated 4 years ago
- ☆22Updated 2 years ago
- ☆45Updated 9 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- ☆16Updated 3 weeks ago
- ☆40Updated 2 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Updated 3 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆38Updated 10 months ago
- A unification-based alias analysis and related tools☆34Updated 9 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆63Updated 3 weeks ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- Mutation-guided mutation-based fuzz testing