stg-tud / opal-backup
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for opal-backup
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- ☆51Updated this week
- ☆25Updated this week
- VMVM: Unit Test Virtualization for Java☆25Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated 2 weeks ago
- ☆94Updated 2 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆19Updated 6 months ago
- A constraint solver abstraction layer for Java☆20Updated last year
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- C Language Analysis in Rascal☆25Updated last week
- a concolic testing engine for Java☆102Updated 6 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible☆41Updated 10 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Goal-directed static analysis tool for JVM languages.☆57Updated 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…☆93Updated last week
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 6 years ago
- A simple scripting frontend for the Java Debugger Interface☆56Updated 4 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆15Updated 6 months ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 4 years ago
- Static checker for Java☆84Updated last year
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 3 months ago