musl libcis an implementation of the C standard library built on top of the Linux system call API, including interfaces defined in the base language standard, POSIX, and widely agreed-upon extensions.
Several modules can manipulate the abstract syntax tree to add ANSI/ISO C Specification Language (ACSL) annotations. Among frequently used[vague] plugins are:
Slicing – enables slicing of a program. It enables generation of a smaller new C program that preserves some given properties.
MISRA Cis a set of software development guidelines
There is also a set of guidelines for MISRA C++
ANSI/ISO C Specification Languageis a specification language for C programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm.
cscopeis a programming tool which works in console mode, text-based interface, that allows computer programmers or software developers to search source code of the programming language C, with some support for C++ and Java.
rui314/chibicc: A small C compileris the most readable compiler in the small C compiler category. One of the key points to achieve that is to avoid writing code that is too clever.
Debugging
Analysis
Frama-CFramework for Modular Analysis of C programs
Slicingplug-in produces an output program which is made of a subset of the statements of the analyzed program, in the same order as in the analyzed program. The statements are selected according to a user-provided slicing criterion. The output program is guaranteed to be compilable C code, and to have the same behavior as the analyzed program from the point of view of the provided slicing criterion.