Survey of state-of-the-art static analysis technologies
| Název práce v češtině: | |
|---|---|
| Název v anglickém jazyce: | Survey of state-of-the-art static analysis technologies |
| Akademický rok vypsání: | 2010/2011 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | doc. RNDr. Jan Kofroň, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 06.08.2010 |
| Datum zadání: | 06.08.2010 |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| 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 |