Automatická kontrola programů v jazyce C

• Thesis title in Czech: Automatická kontrola programů v jazyce C
• Thesis title in English: Automated checking of C language programs
• Academic year of topic announcement: 2008/2009
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Applied Mathematics (32-KAM)
• Supervisor: Mgr. Martin Mareš, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 11.11.2008
• Date of assignment: 11.11.2008
• Date and time of defence: 14.09.2009 00:00
• Date of electronic submission: 14.09.2009
• Date of proceeded defence: 14.09.2009
• Opponents: RNDr. Miroslav Spousta

Guidelines

Cílem práce je vytvořit nástroj pro analýzu programů napsaných v jazyce C, zaměřený na odhalování obvyklých začátečnických chyb (např. přetečení celočíselných proměnných, závislost výsledku na pořadí vyhodnocování, funkce vracející ukazatel na lokální objekt apod.). Jednotlivé testy budou podle své povahy prováděny buď staticky (v čase kompilace) nebo dynamicky (za běhu programu). Bude-li to vhodné, práce by měla stavět na existující kompilátorové infrastruktuře, například LLVM/Clang.

References

Standard jazyka C (ISO/IEC 9899:1999), http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf

The LLVM Compiler Infrastructure, http://www.llvm.org/

Clang: A C Language Family Frontend for LLVM, http://clang.llvm.org/