tomgu1991 / IMChecker
An automatic API misuse checker for C programs!
☆18Updated 5 years ago
Related projects: ⓘ
- ☆53Updated 9 months ago
- Tool for effective and efficient detection of API misuses.☆11Updated 2 years ago
- ☆74Updated last year
- A tool of collecting patch-related commits and parsing patches.☆13Updated 5 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- Template-based Automated Program Repair☆39Updated 7 months ago
- Deep learning code semantic similarity☆60Updated 5 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆60Updated 2 years ago
- ☆23Updated 3 weeks ago
- ☆45Updated 2 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago
- An empirical study on patch correctness☆15Updated last year
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆9Updated 2 months ago
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆23Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆54Updated last year
- ☆25Updated 3 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week
- Recent Paper About Bug Detection☆29Updated 4 years ago
- ☆108Updated last year
- A mutation tool for source and IR☆13Updated 6 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆32Updated 6 months ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆60Updated last week
- A tool for identifying patch correctness in test-based program repair☆18Updated 4 years ago
- Examples for NASAC 2019 interrupt race detection competition☆9Updated 4 years ago
- ☆13Updated 2 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆50Updated 6 years ago
- ☆11Updated 2 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆35Updated 3 years ago
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆56Updated last year
- ☆25Updated 3 months ago