☆75Nov 11, 2017Updated 8 years ago
Alternatives and similar repositories for RoadRunner
Users that are interested in RoadRunner are comparing it to the libraries listed below
Sorting:
- Dynamic Analysis for Concurrent Programs☆27Jan 31, 2026Updated last month
- ☆24Mar 13, 2015Updated 10 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- data race detection☆14Jun 18, 2016Updated 9 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Mar 31, 2017Updated 8 years ago
- Data-race detector for windows applications - built on top of DynamoRIO☆43Jun 29, 2021Updated 4 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆38Feb 6, 2026Updated 3 weeks ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆75Sep 19, 2023Updated 2 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- ☆12May 8, 2017Updated 8 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated last year
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.☆18Jul 18, 2021Updated 4 years ago
- Solver for Constrained Horn Clauses☆50Updated this week
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆24Jun 7, 2014Updated 11 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 4 years ago
- a concolic testing engine for Java☆105Feb 20, 2018Updated 8 years ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆31Mar 31, 2024Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated 11 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25May 2, 2017Updated 8 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆37Updated this week
- TriCera: a model checker for C programs☆26Updated this week
- PartiQL I.R. Generator (P.I.G.)☆26Apr 29, 2024Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Updated this week
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- Source code release for the KRace project☆31Nov 15, 2021Updated 4 years ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Jun 12, 2023Updated 2 years ago
- Research prototype tool for modular formal verification of C, Rust and Java programs☆475Feb 16, 2026Updated 2 weeks ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- ☆13Mar 26, 2024Updated last year
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago