Automated source code analysis locates and describes areas of weakness in source code. Those weaknesses might be security vulnerabilities, logic errors, implementation defects, concurrency violations, rare boundary conditions, or many other types of problem-causing code. The name of the associated research field is static analysis and while the technology has been around for decades - primarily in the form of lint tools - modern static analysis has little in common with its well known but much maligned predecessor. Today's tools use a variety of technologies to achieve a whole program analysis that brings new levels of scalability and accuracy to this technology domain. This paper describes Klocwork's approach to achieving this goal, Klocwork Truepath^™.

Your download Accurate, Scalable Whole Program Analysis will begin shortly.

Problems with your download? Please use this direct link.