Would you like to use the approach "http://en.wikipedia.org/wiki/Static_code_analysis"?
Would you like to integrate the tool "http://splint.org/" into your build process?
Log in to post a comment.