practice-static-code-analysis

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
cppcheck		cppcheck
gcc		gcc
infer		infer
scan-build		scan-build
splint		splint
uno		uno
verifast		verifast
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Verification.xlsx		Verification.xlsx
buffer_overflow.c		buffer_overflow.c
date.stamp		date.stamp
memory_leak.c		memory_leak.c
null_dereference.c		null_dereference.c
null_dereference_simple.c		null_dereference_simple.c
undefined_value.c		undefined_value.c

Provide feedback