splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆328Updated 11 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☆212Updated last week
- An elegant unit testing framework for C with support for mock objects.☆260Updated 2 years ago
- ☆376Updated 7 months ago
- CMetrics measures size and complexity for C files☆74Updated 10 years ago
- Cygwin newlib mirror☆164Updated last year
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆199Updated last year
- Lightweight exception implementation for C☆351Updated 8 months ago
- uClibc mirror☆59Updated 9 months ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆694Updated 2 weeks ago
- Embedded C Library (mirror)☆184Updated 2 weeks ago
- Mock/stub generator for C☆770Updated 3 months ago
- C Quality Metrics☆66Updated 3 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated last month
- safec libc extension with all C11 Annex K functions☆377Updated 2 months ago
- An interactive (fast) static source code analyzer☆175Updated 3 weeks ago
- Small configuration file parser library for C.☆497Updated 5 months ago
- ☆113Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆300Updated 2 weeks ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆543Updated last year
- A unit testing framework for C☆1,130Updated last year
- Debug Malloc memory allocation debugging C library☆169Updated 2 years ago
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆416Updated last month
- selectively remove C preprocessor conditionals☆183Updated last year
- Secure Coding Validation Suite☆70Updated 12 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆38Updated last year
- ctest is a unit test framework for software written in C.☆242Updated 3 months ago
- FreeRTOS SVN clone☆218Updated 7 years ago
- Clang's scan-build re-implementation in python☆389Updated 3 years ago
- ☆117Updated this week