splintchecker / splint
Splint - annotation-assisted static program checker
☆321Updated 4 months ago
Alternatives and similar repositories for splint:
Users that are interested in splint are comparing it to the libraries listed below
- C code refactoring browser☆208Updated this week
- Mock/stub generator for C☆720Updated 2 months ago
- An elegant unit testing framework for C with support for mock objects.☆242Updated last year
- ☆364Updated 3 weeks ago
- Lightweight exception implementation for C☆337Updated 2 months ago
- CMetrics measures size and complexity for C files☆72Updated 10 years ago
- safec libc extension with all C11 Annex K functions☆355Updated 3 months ago
- Embedded C Library (mirror)☆160Updated last week
- An interactive (fast) static source code analyzer☆160Updated last month
- Small configuration file parser library for C.☆491Updated 2 weeks ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆646Updated last month
- Cygwin newlib mirror☆161Updated 6 months ago
- Embedded Programming with the GNU Toolchain☆308Updated 5 years ago
- A unit testing framework for C☆1,102Updated 9 months ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆249Updated 11 months ago
- A flexible Python 2/3 Kconfig implementation and library☆473Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆250Updated this week
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆391Updated 2 months ago
- Clang's scan-build re-implementation in python☆373Updated 2 years ago
- C Quality Metrics☆66Updated 2 years ago
- GDB scripts to add support for low level debugging and reverse engineering☆147Updated 8 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆190Updated last year
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆186Updated last year
- EEPROM File System☆269Updated 8 months ago
- A testing micro framework for creating function test doubles☆826Updated last year
- Application Binary Interface for the Arm® Architecture☆1,041Updated last week
- CppUTest unit testing and mocking framework for C/C++☆1,417Updated this week
- A library to parse gdb mi output and interact with gdb subprocesses☆230Updated last year
- Unit testing and build system for C projects☆656Updated this week