npm

splint

Static analyzer for C code to find bugs and security vulnerabilities

brewmacoslinux
Try with needOr install directly
Source

About

Secure Programming Lint

Commands

splint

Examples

Basic static analysis of a C source file$ splint myprogram.c
Analyze multiple files with strict checking enabled$ splint +strict file1.c file2.c file3.c
Check for security vulnerabilities with detailed output$ splint -checks myprogram.c