ftsrg / codemodel-rifle
Graph-based incremental static analysis of ECMAScript 6 source code repositories
☆19Updated 6 years ago
Related projects: ⓘ
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆31Updated 9 years ago
- ☆38Updated 4 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 4 months ago
- ☆9Updated 4 years ago
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 9 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆92Updated 3 months ago
- ☆20Updated 4 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆16Updated 3 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆18Updated 5 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated 6 months ago
- this repository is obsolete please go to our new repository☆14Updated 6 years ago
- Goal-directed static analysis tool for JVM languages.☆55Updated 8 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 2 months ago
- This projects mines maven central and creates a global dependency graph☆30Updated 2 years ago
- VMVM: Unit Test Virtualization for Java☆25Updated 2 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- A suite of tools for analyzing compiled Java code.☆40Updated last week
- Python parser built using ANTLR☆42Updated 8 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 6 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 7 years ago
- GramTest: A tool for Grammar based Test case generation☆85Updated 11 months ago
- A toolbox with several call graph construction algorithm implementations☆19Updated last year
- A simple scripting frontend for the Java Debugger Interface☆55Updated 4 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆156Updated this week