ftsrg / codemodel-rifle
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:
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- ☆20Updated 5 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated 6 months ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- Advanced similarity and duplicate source code at scale.☆55Updated 5 years ago
- Parser for small subset of markdown☆20Updated 9 years ago
- Record and Replay Engine for Web Browsers☆16Updated 9 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆19Updated 2 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 8 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- A generic AST generator for parser development.☆33Updated 6 years ago
- A simple example of a parser built with ANTLR☆40Updated 10 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Example using the Eclipse CDT Parser API☆63Updated 6 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- Python parser built using ANTLR☆43Updated 9 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 10 months ago
- Tools for type annotations in Java☆39Updated last week
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Call graph generator for JVM bytecode☆18Updated 8 years ago