Checker c

Checker C describes open-source static analysis utilities, memory-safety verification configurations, or structural compiler extensions built to programmatically hunt for buffer overflows, null pointer exceptions, and memory leaks within C source files.