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☆219Updated 2 months ago
- CMetrics measures size and complexity for C files☆79Updated 10 years ago
- An elegant unit testing framework for C with support for mock objects.☆274Updated 2 years ago
- ☆378Updated 10 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆704Updated 2 months ago
- uClibc mirror☆59Updated last year
- safec libc extension with all C11 Annex K functions☆386Updated last month
- a static analysis tool for finding vulnerabilities in C/C++ source code☆556Updated last year
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- C Quality Metrics☆68Updated 3 years ago
- Cygwin newlib mirror☆167Updated last year
- Embedded C Library (mirror)☆191Updated 2 weeks ago
- Lightweight exception implementation for C☆355Updated 11 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆203Updated 2 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated 2 months ago
- ☆113Updated last year
- An interactive (fast) static source code analyzer☆180Updated 2 weeks ago
- Small configuration file parser library for C.☆502Updated 8 months ago
- selectively remove C preprocessor conditionals☆186Updated last year
- Secure Coding Validation Suite☆70Updated 13 years ago
- Clang's scan-build re-implementation in python☆392Updated 2 months ago
- simple static source code analysis tool for C code, with user-definable properties☆28Updated last year
- Debug Malloc memory allocation debugging C library☆172Updated 3 years ago
- Small C tool for Linux filesystem encryption☆140Updated 2 months ago
- Mock/stub generator for C☆794Updated 6 months ago
- C Code Source Metrics - tool to gather simple metrics from C code☆41Updated last year
- A unit testing framework for C☆1,148Updated last year
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Updated last year
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆174Updated 7 years ago
- FreeRTOS SVN clone☆218Updated 7 years ago