splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆329Updated 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☆217Updated this week
- CMetrics measures size and complexity for C files☆76Updated 10 years ago
- An elegant unit testing framework for C with support for mock objects.☆264Updated 2 years ago
- ☆376Updated 7 months ago
- Embedded C Library (mirror)☆187Updated last month
- An interactive (fast) static source code analyzer☆176Updated this week
- Lightweight exception implementation for C☆352Updated 9 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆697Updated this week
- Cygwin newlib mirror☆165Updated last year
- uClibc mirror☆59Updated 10 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆547Updated last year
- safec libc extension with all C11 Annex K functions☆380Updated 3 months ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- C Quality Metrics☆66Updated 3 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆200Updated last year
- Debug Malloc memory allocation debugging C library☆170Updated 3 years ago
- Mock/stub generator for C☆776Updated 4 months ago
- selectively remove C preprocessor conditionals☆183Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆304Updated this week
- A unit testing framework for C☆1,135Updated last year
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated this week
- Small configuration file parser library for C.☆500Updated 6 months ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆647Updated this week
- Clang's scan-build re-implementation in python☆389Updated 3 weeks ago
- ctest is a unit test framework for software written in C.☆242Updated 4 months ago
- ☆119Updated 3 weeks ago
- A set of dbg(…) macros for C☆95Updated 7 months ago
- Secure Coding Validation Suite☆70Updated 12 years ago
- libelf☆83Updated 8 years ago
- Splint win32 binaries☆68Updated 2 years ago