splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆321Updated 6 months ago
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.☆244Updated last year
- C code refactoring browser☆212Updated last month
- Mock/stub generator for C☆732Updated 3 months ago
- safec libc extension with all C11 Annex K functions☆364Updated 5 months ago
- ☆366Updated 2 months ago
- CMetrics measures size and complexity for C files☆72Updated 10 years ago
- Cygwin newlib mirror☆162Updated 8 months ago
- Lightweight exception implementation for C☆339Updated 3 months ago
- Embedded C Library (mirror)☆166Updated last month
- Small configuration file parser library for C.☆492Updated 3 weeks ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆177Updated last week
- A unit testing framework for C☆1,105Updated 10 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆271Updated this week
- A collection of memory allocators☆453Updated 12 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆252Updated last year
- tpl - a small binary serialization library for C☆378Updated 2 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆192Updated last year
- FreeRTOS SVN clone☆219Updated 6 years ago
- QEMU with an STM32 microcontroller implementation☆534Updated last year
- A flexible Python 2/3 Kconfig implementation and library☆480Updated last year
- Portable, reentrant, getopt-like option parser☆363Updated 3 weeks ago
- C Quality Metrics☆66Updated 2 years ago
- selectively remove C preprocessor conditionals☆170Updated last year
- Embedded Programming with the GNU Toolchain☆308Updated 5 years ago
- This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function☆91Updated last year
- An interactive (fast) static source code analyzer☆162Updated 2 months ago
- C-code generator for docopt language.☆321Updated last year
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆655Updated 2 months ago
- Concise Binary Object Representation (CBOR) Library☆540Updated last month
- uClibc mirror☆56Updated 4 months ago