An interactive (fast) static source code analyzer
☆190Jan 8, 2026Updated 3 months ago
Alternatives and similar repositories for Cobra
Users that are interested in Cobra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- simple static source code analysis tool for C code, with user-definable properties☆28Jul 8, 2024Updated last year
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆458Sep 18, 2025Updated 6 months ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆26Jan 3, 2025Updated last year
- Python Support for Ball Aerospace COSMOS v4☆18Jan 24, 2023Updated 3 years ago
- This repository contains bindings for NASA's CFE/OSAL for Rust.☆11Dec 16, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- F' deployment for the Artemis Cubesat☆10Apr 6, 2024Updated 2 years ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆50Dec 11, 2025Updated 3 months ago
- An eqn preprocessor for Neatroff☆14Apr 18, 2025Updated 11 months ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,130Apr 24, 2025Updated 11 months ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 3 years ago
- New generation of State Chart Autocoder written completely in Python☆14Feb 11, 2026Updated 2 months ago
- C Bounded Model Checker☆1,042Apr 3, 2026Updated last week
- C code refactoring browser☆230Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Sep 22, 2022Updated 3 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 7 years ago
- Release snapshots of the Frama-C platform for source code analysis☆187Oct 21, 2020Updated 5 years ago
- SeaHorn Verification Framework☆475May 27, 2025Updated 10 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- Examples and case-study that use OSATE☆58Apr 15, 2025Updated 11 months ago
- CCSDS SOIS Electronic Data Sheet Tool and Library☆40Apr 2, 2026Updated last week
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆13Oct 25, 2018Updated 7 years ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- SpaceWire☆14Jul 17, 2014Updated 11 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 2 years ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Oct 1, 2025Updated 6 months ago
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆12Dec 22, 2025Updated 3 months ago
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆16May 22, 2023Updated 2 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆460Updated this week
- This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…☆21Mar 21, 2026Updated 2 weeks ago
- specification, reference implementation, and examples of Evo, the programming language made for being the DNA of genetic algorithms☆18Nov 28, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- research software encyclopedia database☆14Updated this week
- A Statsd-compatible metrics aggregator☆17Mar 19, 2022Updated 4 years ago
- ☆13Jul 21, 2025Updated 8 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Mar 30, 2026Updated last week
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- Sireum: A High Assurance System Engineering Platform☆24Updated this week
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Apr 3, 2026Updated last week