An interactive (fast) static source code analyzer
☆189Jan 8, 2026Updated 2 months ago
Alternatives and similar repositories for Cobra
Users that are interested in Cobra are comparing it to the libraries listed below
Sorting:
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆26Jan 3, 2025Updated last year
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 5 months ago
- Cross-platform lightweight keyboard handling library with ROS integration☆13Feb 27, 2026Updated 3 weeks ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 26, 2026Updated 3 weeks ago
- 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
- ☆10Jul 30, 2020Updated 5 years ago
- F' deployment for the Artemis Cubesat☆10Apr 6, 2024Updated last year
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated last month
- An eqn preprocessor for Neatroff☆14Apr 18, 2025Updated 11 months ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- 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,123Apr 24, 2025Updated 10 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
- FTP client for humans.☆10Oct 11, 2015Updated 10 years ago
- C Bounded Model Checker☆1,031Updated this week
- p3com☆18May 19, 2023Updated 2 years ago
- A refer preprocessor for neatroff☆13Jul 15, 2022Updated 3 years ago
- ☆16Updated this week
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 7 years ago
- CCSDS SOIS Electronic Data Sheet Tool and Library☆40Jan 26, 2026Updated last month
- SeaHorn Verification Framework☆474May 27, 2025Updated 9 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☆57Apr 15, 2025Updated 11 months ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- A command-line tool for functional testing of console applications☆19Jun 12, 2024Updated last year
- ROS2 package that allows recording without interprocess communication☆17Feb 25, 2025Updated last year
- ☆14Dec 10, 2021Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆856Aug 22, 2025Updated 6 months ago
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 2 years ago
- Practical mutation testing and fault injection for C and C++☆800Updated this week
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Oct 1, 2025Updated 5 months ago
- ☆10Jul 8, 2020Updated 5 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
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- ROS 1 and ROS 2 message definition parser☆18Jan 8, 2025Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Mar 4, 2026Updated 2 weeks ago