splintchecker / splint
Splint - annotation-assisted static program checker
☆318Updated 4 months ago
Alternatives and similar repositories for splint:
Users that are interested in splint are comparing it to the libraries listed below
- C code refactoring browser☆206Updated 3 months ago
- An elegant unit testing framework for C with support for mock objects.☆241Updated last year
- ☆360Updated this week
- Mock/stub generator for C☆716Updated last month
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆647Updated last week
- Lightweight exception implementation for C☆336Updated last month
- CMetrics measures size and complexity for C files☆72Updated 10 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆580Updated this week
- safec libc extension with all C11 Annex K functions☆352Updated 3 months ago
- Embedded C Library (mirror)☆158Updated this week
- C Quality Metrics☆65Updated 2 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆188Updated last year
- C Code Source Metrics - tool to gather simple metrics from C code☆37Updated last year
- Unofficial mirror of sourceware newlib repository. Updated daily.☆247Updated this week
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆411Updated 10 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆518Updated 8 months ago
- A collection of memory allocators☆444Updated 12 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆248Updated 10 months ago
- Small configuration file parser library for C.☆487Updated last year
- Experiments with the gcc plugin mechanism☆109Updated last year
- Cygwin newlib mirror☆162Updated 6 months ago
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆186Updated last year
- ☆64Updated 5 years ago
- Minimal unit testing framework for C☆590Updated last year
- Secure Coding Validation Suite☆69Updated 12 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆176Updated 4 months ago
- An interactive (fast) static source code analyzer☆157Updated last week
- A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.☆389Updated last month
- Collection of C and C++ Coding Standards☆184Updated 7 months ago
- Clang's scan-build re-implementation in python☆373Updated 2 years ago