stephenfreund / RoadRunner
☆71Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for RoadRunner
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- ☆24Updated 9 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Automatically exported from code.google.com/p/type-inference☆26Updated 5 years ago
- This is java implementation of Graspan.☆20Updated 10 months ago
- A dynamic symbolic analysis tool for Java☆113Updated 5 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Symbolic PathFinder☆130Updated last month
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last month
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- A unification-based alias analysis and related tools☆29Updated last month
- The DaCapo benchmark suite☆160Updated last week
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated 3 weeks ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- Static checker for Java☆84Updated 11 months ago
- Main distribution of Petablox☆36Updated 6 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- Dynamic Program Slicing in LLVM Compiler☆133Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆60Updated 4 months ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- This is a C++ implementation of Graspan.☆32Updated 10 months ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Ana…☆9Updated 4 years ago