Frama-C plugins for deadlock and data race detection
☆14Feb 18, 2026Updated 2 weeks ago
Alternatives and similar repositories for Deadlock_and_Racer
Users that are interested in Deadlock_and_Racer are comparing it to the libraries listed below
Sorting:
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆24Nov 18, 2025Updated 3 months ago
- ☆11Mar 8, 2021Updated 5 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Benchmarking Suite for BDD packages☆22Jan 30, 2026Updated last month
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆24Mar 2, 2026Updated last week
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- 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
- Linux kernel library functions formally verified.☆61Jan 11, 2026Updated last month
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Bitfile Interpretation Library for Xilinx Virtex FPGAs☆29Aug 9, 2012Updated 13 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆27Jan 31, 2026Updated last month
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 26, 2026Updated last week
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Mar 2, 2026Updated last week
- ☆10Jul 10, 2021Updated 4 years ago
- ☆14Mar 12, 2023Updated 2 years ago
- Frama-C and WP tutorial☆70Jan 7, 2026Updated 2 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 6 months ago
- Pixel bootlaoder exploit for reading flash storage☆31Jan 5, 2017Updated 9 years ago
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- PyQt thread which overlays the translucent loading screen with label on the whole window like some generic application loading screen.☆12Feb 4, 2022Updated 4 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Feb 6, 2024Updated 2 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- A cross platform manga/doujinshi manager with namespace & tag support☆10Oct 10, 2021Updated 4 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated 2 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Mar 2, 2026Updated last week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Combined InstantID🔥 and FouriScale to generate high resolution image!☆11Apr 3, 2024Updated last year
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago