An interactive (fast) static source code analyzer
☆183Jan 8, 2026Updated last month
Alternatives and similar repositories for Cobra
Users that are interested in Cobra are comparing it to the libraries listed below
Sorting:
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆453Sep 18, 2025Updated 5 months ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆25Jan 3, 2025Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 3, 2026Updated 3 weeks ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 4 months ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- C Bounded Model Checker☆1,021Feb 10, 2026Updated 2 weeks ago
- SeaHorn Verification Framework☆471May 27, 2025Updated 9 months ago
- New generation of State Chart Autocoder written completely in Python☆12Feb 11, 2026Updated 2 weeks ago
- ☆10Jul 30, 2020Updated 5 years ago
- a software tool that facilitates the design of lightweight torsion springs☆17Sep 8, 2025Updated 5 months ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆48Dec 11, 2025Updated 2 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆445Updated this week
- A High-Performance Riak Client for Go☆13Sep 22, 2014Updated 11 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- Compiler for Squirrel.☆11Aug 27, 2014Updated 11 years ago
- ROS2 package that allows recording without interprocess communication☆16Feb 25, 2025Updated last year
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- minimalistic peripheral access library for the Raspberry Pi☆12Jan 4, 2020Updated 6 years ago
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆15May 22, 2023Updated 2 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- Examples and case-study that use OSATE☆56Apr 15, 2025Updated 10 months ago
- ☆82Aug 20, 2025Updated 6 months ago
- athenz policy management library for golang. Moved to https://github.com/AthenZ/athenz-authorizer☆15Dec 20, 2022Updated 3 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆27Jan 31, 2026Updated last month
- ☆15Jan 22, 2017Updated 9 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Aug 20, 2015Updated 10 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆13Oct 25, 2018Updated 7 years ago
- Sireum: A High Assurance System Engineering Platform☆21Updated this week
- F' deployment for the Artemis Cubesat☆10Apr 6, 2024Updated last year
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆19Apr 1, 2025Updated 11 months ago
- ROS 2 Type adapters for common C++ frameworks☆14Mar 26, 2025Updated 11 months ago
- A unit test-like interface for fuzzing and symbolic execution☆852Aug 22, 2025Updated 6 months ago
- static analysis benchmarks from Toyota ITC☆119May 9, 2023Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- RACS - the ROS1 and cFS System☆31Mar 20, 2023Updated 2 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- F´ Python tooling and helpers.☆31Dec 3, 2025Updated 2 months ago