An interactive (fast) static source code analyzer
☆227May 30, 2026Updated 4 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☆29Jul 8, 2024Updated 2 years ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆477Sep 18, 2025Updated last year
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆29Jan 3, 2025Updated last year
- Cross-platform lightweight keyboard handling library with ROS integration☆13Jun 19, 2026Updated 3 months ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆33Jun 19, 2026Updated 3 months ago
- AI Agents on 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.
- F' deployment for the Artemis Cubesat☆10Apr 6, 2024Updated 2 years 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
- An eqn preprocessor for Neatroff☆15Apr 18, 2025Updated last year
- Static Analyzer and Verifier☆53Oct 12, 2024Updated last year
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 7 months ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,170May 31, 2026Updated 4 months ago
- C Bounded Model Checker☆1,138Updated this week
- 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.
- C code refactoring browser☆234Oct 1, 2026Updated last week
- A refer preprocessor for neatroff☆15Jul 15, 2022Updated 4 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- Examples and case-study that use OSATE☆60Apr 15, 2025Updated last year
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 8 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 4 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
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The LTSmin model checking toolset☆65Oct 31, 2024Updated last year
- CCSDS SOIS Electronic Data Sheet Tool and Library☆42Oct 1, 2026Updated last week
- Slide decks used in courses taught regarding F´☆98Feb 12, 2026Updated 7 months ago
- A command-line tool for functional testing of console applications☆19Jun 12, 2024Updated 2 years ago
- ☆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
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 3 years ago
- ☆82Aug 20, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Creates an ISO File out of all files of a given folder.☆17Sep 26, 2022Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆862Aug 22, 2025Updated last year
- ☆10Jul 8, 2020Updated 6 years ago
- Practical mutation testing and fault injection for C and C++☆845Sep 13, 2026Updated 3 weeks ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆524Updated this week
- research software encyclopedia database☆14Oct 4, 2026Updated last week
- ROS 1 and ROS 2 message definition parser☆19Jan 8, 2025Updated last year