Fault detection based on static program analysis

The project aims to assess strenghts and weaknesses of state-of-the-art tools and techniques for static analysis of programming languages, with focus on C, C++ and Java, and to provide guidelines for efficient use of the tools.