yuntongzhang / vulnfix
Program Vulnerability Repair via Inductive Inference
☆18Updated last year
Alternatives and similar repositories for vulnfix:
Users that are interested in vulnfix are comparing it to the libraries listed below
- A Static Differential Analysis Tool of Network Protocol Parsers☆22Updated last year
- ☆15Updated 2 weeks ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- ☆37Updated 4 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆27Updated 6 months ago
- ☆39Updated last year
- ☆25Updated 3 years ago
- ☆74Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆48Updated 2 weeks ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆59Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆34Updated 5 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 3 months ago
- Mutation-guided mutation-based fuzz testing☆44Updated 7 months ago
- ☆39Updated 2 years ago
- ☆22Updated 2 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Lifting network implementation to precise format specification☆24Updated 3 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- ☆20Updated 2 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆43Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆85Updated 4 months ago
- A unification-based alias analysis and related tools☆31Updated 4 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 3 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 11 months ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆11Updated last year