ftsrg / codemodel-rifleLinks
Graph-based incremental static analysis of ECMAScript 6 source code repositories
☆20Updated 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:
- ☆40Updated 6 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆172Updated 3 weeks ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- A tool for learning bug patterns.☆11Updated 9 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated last week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆99Updated 11 months ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- C++ Source metadata extractor using Eclipse CDT Parser☆38Updated 10 years ago
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- ShiftLeft OverflowDB☆131Updated 5 months ago
- Example using the Eclipse CDT Parser API☆63Updated 7 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- A simple scripting frontend for the Java Debugger Interface☆58Updated 5 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Java auto-suggest engine for ANTLR4 grammars☆70Updated 7 years ago
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆27Updated 10 years ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Tools for type annotations in Java☆40Updated 3 months ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆18Updated last year
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago