sed-inf-u-szeged / OpenStaticAnalyzer
OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
☆45Updated 2 years ago
Alternatives and similar repositories for OpenStaticAnalyzer:
Users that are interested in OpenStaticAnalyzer are comparing it to the libraries listed below
- Siamese: a scalable code clone search engine☆35Updated 8 months ago
- C Code Source Metrics - tool to gather simple metrics from C code☆37Updated last year
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆52Updated 7 years ago
- Analyse package dependency networks at the call graph level☆93Updated last year
- C Quality Metrics☆65Updated 2 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆115Updated last year
- Set of tools to help working with "Big Code"☆43Updated 2 years ago
- CCFinderX with autotools support☆55Updated 8 years ago
- Convert source code into numerical tokens☆65Updated last year
- Unit testing for SQL queries☆24Updated 7 months ago
- junit tools contest infrastructure☆11Updated last year
- This projects mines maven central and creates a global dependency graph☆32Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 5 months ago
- A Python 3 module that provides functions for splitting identifiers found in source code files.☆47Updated 2 years ago
- NiCad3 Clone Detector☆29Updated 9 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆164Updated this week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 4 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- Smelling smells using Deep Learning☆46Updated 4 years ago
- ☆16Updated 4 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 7 months ago
- srcML Toolkit☆130Updated this week
- ☆20Updated 9 months ago
- Dynamic detection of likely invariants☆222Updated this week
- DeepBugs is a framework for learning bug detectors from an existing code corpus.☆150Updated 3 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Depends is a fast, comprehensive code dependency analysis tool☆218Updated last month
- SCANOSS Open Source Inventory Engine☆38Updated 2 weeks ago