An interactive (fast) static source code analyzer
☆220May 30, 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:
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆29Jan 3, 2025Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆33Jun 19, 2026Updated 3 months ago
- This repository contains bindings for NASA's CFE/OSAL for Rust.☆12Dec 16, 2018Updated 7 years ago
- Python Support for Ball Aerospace COSMOS v4☆18Jan 24, 2023Updated 3 years ago
- ☆10Jul 30, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An eqn preprocessor for Neatroff☆15Apr 18, 2025Updated last year
- LAR-19642-1: Visual Studio Code Extension for PVS☆54Jul 1, 2026Updated 2 months ago
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 7 months ago
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,166May 31, 2026Updated 3 months ago
- FTP client for humans.☆10Oct 11, 2015Updated 10 years ago
- C Bounded Model Checker☆1,135Updated this week
- C code refactoring browser☆235Sep 5, 2026Updated 2 weeks ago
- A refer preprocessor for neatroff☆15Jul 15, 2022Updated 4 years ago
- Examples and case-study that use OSATE☆60Apr 15, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆190Oct 21, 2020Updated 5 years ago
- SeaHorn Verification Framework☆478Aug 20, 2026Updated last month
- New generation of State Chart Autocoder written completely in Python☆18Updated this week
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 12 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 5 years ago
- The LTSmin model checking toolset☆63Oct 31, 2024Updated last year
- CCSDS SOIS Electronic Data Sheet Tool and Library☆43Updated this week
- Slide decks used in courses taught regarding F´☆98Feb 12, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Dec 10, 2021Updated 4 years ago
- SpaceWire☆14Jul 17, 2014Updated 12 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years 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
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆35Jul 6, 2026Updated 2 months ago
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 3 years ago
- ☆82Aug 20, 2025Updated last year
- A unit test-like interface for fuzzing and symbolic execution☆862Aug 22, 2025Updated last year
- ☆10Jul 8, 2020Updated 6 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.
- Practical mutation testing and fault injection for C and C++☆838Sep 13, 2026Updated last week
- A framework for secure and scalable network traffic analysis - https://netcap.io☆17May 8, 2019Updated 7 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆521Updated this week
- A Statsd-compatible metrics aggregator☆17Mar 19, 2022Updated 4 years ago
- research software encyclopedia database☆14Updated this week
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆25Sep 10, 2026Updated last week
- An experimental WASM runtime for Plan 9.☆27Sep 26, 2023Updated 2 years ago