splintchecker / splint
Splint - annotation-assisted static program checker
☆307Updated last month
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.☆236Updated last year
- CMock - Mock/stub generator for C☆696Updated 2 weeks ago
- Lightweight exception implementation for C☆331Updated 3 months ago
- CMetrics measures size and complexity for C files☆72Updated 9 years ago
- C code refactoring browser☆199Updated 3 weeks ago
- ☆359Updated 2 months ago
- safec libc extension with all C11 Annex K functions☆347Updated 2 weeks ago
- A unit testing framework for C☆1,086Updated 6 months ago
- Embedded C Library (mirror)☆135Updated 5 months ago
- Small configuration file parser library for C.☆484Updated 11 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆505Updated 5 months ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆176Updated 2 months ago
- tpl - a small binary serialization library for C☆373Updated 3 years ago
- C Quality Metrics☆64Updated 2 years ago
- Cygwin newlib mirror☆161Updated 3 months ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- A testing micro framework for creating function test doubles☆801Updated last year
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆183Updated last year
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆183Updated 11 months ago
- A flexible Python 2/3 Kconfig implementation and library☆463Updated last year
- tinycrypt is a library of cryptographic algorithms with a focus on small, simple implementation.☆462Updated 10 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆242Updated this week
- C library/compiler for the Cap'n Proto serialization/RPC protocol☆122Updated last year
- Portable, reentrant, getopt-like option parser☆354Updated 5 months ago
- CppUTest unit testing and mocking framework for C/C++☆1,387Updated last week
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆382Updated 2 months ago
- ctest is a unit test framework for software written in C.☆233Updated 2 weeks ago
- Code samples for the book Patterns in C☆175Updated 8 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆218Updated 7 months ago
- This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function☆90Updated 8 months ago