TDacik / Deadlock_and_RacerView external linksLinks
Frama-C plugins for deadlock and data race detection
☆14Nov 12, 2025Updated 3 months 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:
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆24Nov 18, 2025Updated 2 months ago
- ☆11Mar 8, 2021Updated 4 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Benchmarking Suite for BDD packages☆22Jan 30, 2026Updated 2 weeks ago
- ☆23Jan 24, 2026Updated 3 weeks ago
- 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
- 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 11 months 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…☆21Mar 21, 2021Updated 4 years ago
- Linux kernel library functions formally verified.☆52Jan 11, 2026Updated last month
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Case study for using MathWorks tools on a DO-178 project☆29May 31, 2023Updated 2 years ago
- Bitfile Interpretation Library for Xilinx Virtex FPGAs☆29Aug 9, 2012Updated 13 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Dynamic Analysis for Concurrent Programs☆27Jan 31, 2026Updated 2 weeks ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆31Feb 3, 2026Updated 2 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Feb 3, 2026Updated 2 weeks ago
- Frama-C and WP tutorial☆69Jan 7, 2026Updated last month
- ☆14Mar 12, 2023Updated 2 years ago
- ☆10Jul 10, 2021Updated 4 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- Pixel bootlaoder exploit for reading flash storage☆31Jan 5, 2017Updated 9 years ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 5 months ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Nov 16, 2025Updated 3 months ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Oct 22, 2024Updated last year
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- MediaPipeのFaceMesh検出を用いて、虹彩部分に写輪眼(©NARUTO -ナルト-)を表示するプログラム☆11Apr 16, 2022Updated 3 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated last year