splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆333Updated last year
Alternatives and similar repositories for splint
Users that are interested in splint are comparing it to the libraries listed below
Sorting:
- C code refactoring browser☆220Updated 2 months ago
- An elegant unit testing framework for C with support for mock objects.☆274Updated 2 years ago
- CMetrics measures size and complexity for C files☆79Updated 10 years ago
- ☆380Updated 10 months ago
- Cygwin newlib mirror☆167Updated last year
- C Quality Metrics☆68Updated 3 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆705Updated 2 months ago
- safec libc extension with all C11 Annex K functions☆387Updated last week
- Embedded C Library (mirror)☆194Updated last week
- selectively remove C preprocessor conditionals☆186Updated last year
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- uClibc mirror☆59Updated last year
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆203Updated 2 years ago
- ☆113Updated last year
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆180Updated 2 months ago
- simple static source code analysis tool for C code, with user-definable properties☆28Updated last year
- Lightweight exception implementation for C☆355Updated 11 months ago
- Debug Malloc memory allocation debugging C library☆172Updated 3 years ago
- ctest is a unit test framework for software written in C.☆245Updated last month
- An interactive (fast) static source code analyzer☆181Updated 3 weeks ago
- A unit testing framework for C☆1,150Updated last year
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆277Updated 2 weeks ago
- Mock/stub generator for C☆796Updated 2 weeks ago
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆424Updated 4 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆557Updated last year
- A library of generic intrusive data structures and algorithms in ANSI C☆613Updated 8 years ago
- FreeRTOS SVN clone☆217Updated 7 years ago
- Secure Coding Validation Suite☆70Updated 13 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Updated 2 years ago
- Powerful, yet simple, C++ unit testing framework; new home after https://sourceforge.net/projects/cpptest/☆77Updated last month