splintchecker / splint
Splint - annotation-assisted static program checker
☆316Updated 2 months ago
Alternatives and similar repositories for splint:
Users that are interested in splint are comparing it to the libraries listed below
- An elegant unit testing framework for C with support for mock objects.☆237Updated last year
- C code refactoring browser☆204Updated 2 months ago
- Mock/stub generator for C☆707Updated this week
- ☆359Updated 4 months ago
- Lightweight exception implementation for C☆333Updated this week
- CMetrics measures size and complexity for C files☆72Updated 9 years ago
- Cygwin newlib mirror☆162Updated 4 months ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆176Updated 3 months ago
- Small configuration file parser library for C.☆485Updated last year
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆237Updated 9 months ago
- Concise Binary Object Representation (CBOR) Library☆514Updated last week
- tpl - a small binary serialization library for C☆374Updated 3 years ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆513Updated 6 months ago
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆184Updated last year
- µnit is a small testing framework for C☆607Updated 10 months ago
- selectively remove C preprocessor conditionals☆164Updated 10 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆247Updated this week
- libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringu…☆545Updated 9 months ago
- Portable, reentrant, getopt-like option parser☆355Updated 6 months ago
- An interactive (fast) static source code analyzer☆143Updated 3 weeks ago
- safec libc extension with all C11 Annex K functions☆349Updated last month
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆183Updated last year
- This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function☆90Updated 9 months ago
- Embedded C Library (mirror)☆142Updated 6 months ago
- A flexible Python 2/3 Kconfig implementation and library☆465Updated last year
- A testing micro framework for creating function test doubles☆811Updated last year
- C-code generator for docopt language.☆320Updated 9 months ago
- uClibc mirror☆53Updated last month
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆641Updated last month
- Powerful, yet simple, C++ unit testing framework; new home after https://sourceforge.net/projects/cpptest/☆74Updated 7 months ago