Automatická kontrola programů v jazyce C

• Název práce v češtině: Automatická kontrola programů v jazyce C
• Název v anglickém jazyce: Automated checking of C language programs
• Akademický rok vypsání: 2008/2009
• Typ práce: bakalářská práce
• Jazyk práce: čeština
• Ústav: Katedra aplikované matematiky (32-KAM)
• Vedoucí / školitel: Mgr. Martin Mareš, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 11.11.2008
• Datum zadání: 11.11.2008
• Datum a čas obhajoby: 14.09.2009 00:00
• Datum odevzdání elektronické podoby: 14.09.2009
• Datum proběhlé obhajoby: 14.09.2009
• Oponenti: RNDr. Miroslav Spousta

Zásady pro vypracování

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.

Seznam odborné literatury

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/