splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆330Updated last year
Alternatives and similar repositories for splint
Users that are interested in splint are comparing it to the libraries listed below
Sorting:
- An elegant unit testing framework for C with support for mock objects.☆271Updated 2 years ago
- ☆377Updated 8 months ago
- C code refactoring browser☆217Updated 3 weeks ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆550Updated last year
- safec libc extension with all C11 Annex K functions☆381Updated last week
- Lightweight exception implementation for C☆355Updated 9 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆700Updated 2 weeks ago
- Cygwin newlib mirror☆166Updated last year
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- An interactive (fast) static source code analyzer☆178Updated 3 weeks ago
- A unit testing framework for C☆1,139Updated last year
- Small configuration file parser library for C.☆500Updated 7 months ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated 3 weeks ago
- ☆113Updated last year
- Mock/stub generator for C☆784Updated 5 months ago
- Powerful, yet simple, C++ unit testing framework; new home after https://sourceforge.net/projects/cpptest/☆76Updated 2 weeks ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆201Updated 2 years ago
- simple static source code analysis tool for C code, with user-definable properties☆28Updated last year
- Small C tool for Linux filesystem encryption☆139Updated last month
- Embedded C Library (mirror)☆188Updated last month
- Unofficial mirror of sourceware newlib repository. Updated daily.☆309Updated this week
- Secure Coding Validation Suite☆70Updated 13 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆172Updated 7 years ago
- Debug Malloc memory allocation debugging C library☆171Updated 3 years ago
- uClibc mirror☆59Updated 11 months ago
- Source code counter and metrics tool for C++, C, and Java☆69Updated 2 years ago
- ctest is a unit test framework for software written in C.☆241Updated 4 months ago
- Clang's scan-build re-implementation in python☆388Updated last month
- selectively remove C preprocessor conditionals☆185Updated last year
- Code samples for the book Patterns in C☆187Updated 9 years ago