Static C code analysis tool for finding potential bugs and style violations
Static C code analysis tool
sparse
$ sparse file.c
$ sparse -Wall file1.c file2.c
$ sparse -Dendian=little file.c