splintchecker / splint
Splint - annotation-assisted static program checker
☆305Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for splint
- An elegant unit testing framework for C with support for mock objects.☆233Updated last year
- Lightweight exception implementation for C☆326Updated last month
- C code refactoring browser☆197Updated 2 months ago
- CMock - Mock/stub generator for C☆684Updated last month
- A unit testing framework for C☆1,079Updated 4 months ago
- Cygwin newlib mirror☆160Updated last month
- CMetrics measures size and complexity for C files☆70Updated 9 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆176Updated 2 weeks ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆626Updated last week
- ☆355Updated last month
- A flexible Python 2/3 Kconfig implementation and library☆457Updated last year
- Small configuration file parser library for C.☆477Updated 9 months ago
- safec libc extension with all C11 Annex K functions☆338Updated 7 months ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 4 years ago
- FreeRTOS SVN clone☆219Updated 6 years ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆492Updated 3 months ago
- Embedded Programming with the GNU Toolchain☆305Updated 5 years ago
- Code samples for the book Patterns in C☆174Updated 8 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆553Updated this week
- A collection of memory allocators☆441Updated 12 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆218Updated 6 months ago
- uClibc mirror☆52Updated 9 years ago
- Eclipse plugin integrating cppcheck with Eclipse CDT☆47Updated 7 months ago
- Write tests in C☆252Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆231Updated this week
- Debug Malloc memory allocation debugging C library☆161Updated 2 years ago
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆380Updated this week
- EEPROM File System☆257Updated 3 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆178Updated 11 months ago