ftsrg / codemodel-rifleLinks
Graph-based incremental static analysis of ECMAScript 6 source code repositories
☆19Updated 7 years ago
Alternatives and similar repositories for codemodel-rifle
Users that are interested in codemodel-rifle are comparing it to the libraries listed below
Sorting:
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆98Updated 8 months ago
- Example using the Eclipse CDT Parser API☆63Updated 6 years ago
- A tool for learning bug patterns.☆11Updated 9 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆168Updated last week
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 9 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- C++ Source metadata extractor using Eclipse CDT Parser☆38Updated 10 years ago
- this repository is obsolete please go to our new repository☆14Updated 7 years ago
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- Java Concolic Unit Testing Engine☆91Updated 11 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- ☆20Updated 5 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- ☆9Updated 5 years ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆18Updated last year
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 4 months ago
- Python parser built using ANTLR☆43Updated 9 years ago
- ShiftLeft OverflowDB☆129Updated 2 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Updated 8 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆100Updated 9 months ago
- CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.☆62Updated 7 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated this week
- ☆49Updated 5 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago