gpoo / ccfinderxLinks
CCFinderX with autotools support
☆56Updated 9 years ago
Alternatives and similar repositories for ccfinderx
Users that are interested in ccfinderx are comparing it to the libraries listed below
Sorting:
- ☆57Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated 2 years ago
- Deep learning code semantic similarity☆64Updated 5 years ago
- 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).☆42Updated last year
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆75Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- ☆17Updated 5 years ago
- ☆112Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- ☆25Updated 3 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- A tool for identifying patch correctness in test-based program repair☆19Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- A vulnerability patch gathering tool☆42Updated 6 years ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- Code clone detection; clone-related bug detection; sematic clone analysis☆217Updated last year
- Toolset to do differential testing on the Clang Static Analyzer☆21Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Updated 7 years ago
- Code Search Based Automated Repair Technique☆9Updated 4 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- ICSE 2018 paper implement☆17Updated 6 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- DBGBench Website:☆18Updated 4 years ago