splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆327Updated 10 months ago
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☆211Updated last week
- An elegant unit testing framework for C with support for mock objects.☆259Updated 2 years ago
- CMetrics measures size and complexity for C files☆74Updated 10 years ago
- ☆377Updated 6 months ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆198Updated last year
- Cygwin newlib mirror☆164Updated last year
- Lightweight exception implementation for C☆348Updated 7 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆690Updated 2 months ago
- Embedded C Library (mirror)☆183Updated 3 weeks ago
- safec libc extension with all C11 Annex K functions☆378Updated last month
- Mock/stub generator for C☆759Updated 3 months ago
- selectively remove C preprocessor conditionals☆180Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆297Updated this week
- Secure Coding Validation Suite☆70Updated 12 years ago
- A unit testing framework for C☆1,129Updated last year
- a static analysis tool for finding vulnerabilities in C/C++ source code☆540Updated last year
- hexdump.c: Single file C library implementation of the BSD command-line utility☆103Updated 6 years ago
- Embedded Programming with the GNU Toolchain☆311Updated 6 years ago
- Small C tool for Linux filesystem encryption☆135Updated 5 months ago
- uClibc mirror☆59Updated 9 months ago
- ☆113Updated last year
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆32Updated last year
- A flexible Python 2/3 Kconfig implementation and library☆493Updated 2 years ago
- Small configuration file parser library for C.☆497Updated 5 months ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated 3 weeks ago
- Debug Malloc memory allocation debugging C library☆169Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆635Updated this week
- Powerful, yet simple, C++ unit testing framework; new home after https://sourceforge.net/projects/cpptest/☆76Updated 2 months ago
- Source code counter and metrics tool for C++, C, and Java☆67Updated 2 years ago