gpoo / ccfinderx
CCFinderX with autotools support
☆55Updated 8 years ago
Alternatives and similar repositories for ccfinderx:
Users that are interested in ccfinderx are comparing it to the libraries listed below
- ☆56Updated last year
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆53Updated 7 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- ☆112Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆116Updated last year
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- Tool for mutation testing of C programs☆19Updated 4 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Updated last year
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆79Updated 8 months ago
- srcML Toolkit☆131Updated this week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- Dynamic detection of likely invariants☆223Updated this week
- NiCad3 Clone Detector☆30Updated 9 years ago
- Code clone detection; clone-related bug detection; sematic clone analysis☆216Updated last year
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆65Updated last year
- ☆45Updated 2 years ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆110Updated last week
- Towards converting multilingual source code into one language-agnostic graph representation.☆46Updated 2 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated 10 months ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆85Updated 3 years ago