program-repair-project / bug-localizerLinks
☆14Updated 2 years ago
Alternatives and similar repositories for bug-localizer
Users that are interested in bug-localizer are comparing it to the libraries listed below
Sorting:
- ☆14Updated 2 years ago
- ☆62Updated last month
- ☆11Updated last year
- ☆53Updated 3 weeks ago
- ☆28Updated 2 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆53Updated last year
- ☆20Updated 6 months ago
- ☆16Updated this week
- The Sparrow Static Analyzer☆127Updated 4 years ago
- ☆48Updated 3 months ago
- ☆36Updated 10 months ago
- ☆15Updated last month
- ☆15Updated 2 years ago
- ☆23Updated 2 years ago
- ☆15Updated 2 years ago
- A powerful relational representation of source code☆33Updated 2 years ago
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- ☆24Updated last week
- ☆22Updated 4 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 3 years ago
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- A practical fuzzing tool for SMT solvers☆11Updated 2 months ago
- A framework for testing compilers' type checkers☆18Updated 11 months ago
- ☆18Updated last year
- One-for-all python script for running LLVM experiment☆11Updated 3 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11Updated 6 years ago
- ☆19Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 4 years ago
- A unification-based alias analysis and related tools☆35Updated last year
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago