splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆322Updated 6 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 2 months ago
- An elegant unit testing framework for C with support for mock objects.☆246Updated last year
- ☆367Updated 2 months ago
- Mock/stub generator for C☆734Updated 4 months ago
- safec libc extension with all C11 Annex K functions☆368Updated 5 months ago
- Embedded C Library (mirror)☆169Updated last month
- Lightweight exception implementation for C☆339Updated 4 months ago
- CMetrics measures size and complexity for C files☆73Updated 10 years ago
- ctest is a unit test framework for software written in C.☆241Updated 5 months ago
- Cygwin newlib mirror☆161Updated 8 months ago
- A unit testing framework for C☆1,106Updated 11 months ago
- Small configuration file parser library for C.☆494Updated last month
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆252Updated last year
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆659Updated 3 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆528Updated 10 months ago
- tpl - a small binary serialization library for C☆380Updated 3 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆272Updated this week
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆395Updated this week
- A flexible Python 2/3 Kconfig implementation and library☆482Updated last year
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆177Updated last month
- Secure Coding Validation Suite☆70Updated 12 years ago
- Debug Malloc memory allocation debugging C library☆167Updated 2 years ago
- Bootstrap C code on a Cortex-M MCU☆220Updated 5 years ago
- C library for reading and writing YAML.☆292Updated 8 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆192Updated last year
- GDB scripts to add support for low level debugging and reverse engineering☆147Updated 9 years ago
- Clang's scan-build re-implementation in python☆379Updated 2 years ago
- uClibc mirror☆56Updated 5 months ago
- C Quality Metrics☆66Updated 3 years ago
- µnit is a small testing framework for C☆632Updated last year