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
- safec libc extension with all C11 Annex K functions☆388Updated this week
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆705Updated 2 months ago
- Small configuration file parser library for C.☆503Updated 9 months ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- Lightweight exception implementation for C☆355Updated 11 months ago
- A unit testing framework for C☆1,150Updated last year
- uClibc mirror☆59Updated last year
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆180Updated 2 months ago
- Mock/stub generator for C☆796Updated 2 weeks ago
- Embedded C Library (mirror)☆196Updated 2 weeks ago
- ctest is a unit test framework for software written in C.☆245Updated this week
- a static analysis tool for finding vulnerabilities in C/C++ source code☆557Updated last year
- An interactive (fast) static source code analyzer☆181Updated last month
- C Quality Metrics☆68Updated 3 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆203Updated 2 years ago
- FreeRTOS SVN clone☆217Updated 7 years ago
- selectively remove C preprocessor conditionals☆186Updated last year
- EEPROM File System☆285Updated last year
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆176Updated 7 years ago
- Source code counter and metrics tool for C++, C, and Java☆71Updated 3 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆276Updated 2 weeks ago
- Powerful, yet simple, C++ unit testing framework; new home after https://sourceforge.net/projects/cpptest/☆77Updated last month
- C Mock is Google Mock's extension allowing a function mocking.☆86Updated 2 years ago
- ☆113Updated last year
- Embedded Programming with the GNU Toolchain☆311Updated 6 years ago