Survey of state-of-the-art static analysis technologies

• Thesis title in English: Survey of state-of-the-art static analysis technologies
• Academic year of topic announcement: 2010/2011
• Thesis type: diploma thesis
• Thesis language: angličtina
• Department: Department of Distributed and Dependable Systems (32-KDSS)
• Supervisor: doc. RNDr. Jan Kofroň, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 06.08.2010
• Date of assignment: 06.08.2010

Guidelines

Code analysis becomes an often used approach for assuring of certain properties of implementations in desired cases. In situation where model checking techniques cannot provide reasonable results (high model/implementation complexity, undecidability), code analysis may succeed.

The thesis should focus on comparison state-of-the-art code analysis techniques and tools. The main goal of the thesis is to choose (an) appropriate code fragment(s) on which the advantages and disadvantages of particular techniques and tools are to be demonstrated. Also, limits of particular tools in the sense of sizes of input that can be processed are to be discovered by using real open-source projects.

References

Static Source Code Analysis Tools for C - http://spinroot.com/static/
E. Clarke: Model Checking, ISBN-13: 9780262032704
PREfast - http://www.microsoft.com/whdc/devtools/tools/PREfast.mspx