H E

Nowadays, concurrent programming is used more and more in order to make multicore systems achieve the best possible performance. However, the usage of concurrent programming introduces more errors (usually more difficult to be identified) than sequential programming and for this reason it is very important to have tools that can identify such errors. The most used technique to identify errors in multi-threaded environment is code analysis; it consists of static and dynamic analysis. Code analysis can be done manually or by using automated tools and it happens at an early stage in the software development life cycle. The number of static analysis tools has increased rapidly in the last decade. In order to choose the appropriate tool each developer must identify what is really needed, learn about the strengths and weaknesses of the existing tools and then choose the most suitable. In this project, we focus on helping programmers to learn how to evaluate properly a tool and choose the right one between free open-source (FindBugs), commercial (ThreadSafe) and tools that appeal mostly to experienced developers (Chord). Moreover, we do a theoretical and experimental analysis of three static analysis tool