splintchecker / splintLinks
Splint - annotation-assisted static program checker
☆326Updated 9 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 5 months ago
- An elegant unit testing framework for C with support for mock objects.☆258Updated last year
- CMetrics measures size and complexity for C files☆74Updated 10 years ago
- ☆376Updated 5 months ago
- Lightweight exception implementation for C☆346Updated 7 months ago
- Cygwin newlib mirror☆164Updated 11 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆296Updated this week
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆198Updated last year
- C Quality Metrics☆66Updated 3 years ago
- uClibc mirror☆59Updated 8 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆687Updated last month
- a static analysis tool for finding vulnerabilities in C/C++ source code☆538Updated last year
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- Embedded C Library (mirror)☆182Updated last month
- safec libc extension with all C11 Annex K functions☆375Updated last month
- A unit testing framework for C☆1,127Updated last year
- Mock/stub generator for C☆758Updated 2 months ago
- selectively remove C preprocessor conditionals☆172Updated last year
- ctest is a unit test framework for software written in C.☆242Updated last month
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆266Updated last year
- An interactive (fast) static source code analyzer☆173Updated 2 weeks ago
- simple static source code analysis tool for C code, with user-definable properties☆26Updated last year
- Debug Malloc memory allocation debugging C library☆170Updated 2 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆179Updated last week
- A flexible Python 2/3 Kconfig implementation and library☆492Updated last year
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆628Updated this week
- ☆113Updated last year
- Embedded Programming with the GNU Toolchain☆310Updated 6 years ago
- Eclipse CDT™ C/C++ Development Tools☆341Updated last week
- A python C code generator☆89Updated last year