Splint Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Spl ...
Teamscale Teamscale analyzes the quality of your code. With a variety of static code analyses, it points you to quality defects that are ...