Forráskódok gépi feldolgozása és analízise

Konzulens:
Suba Gergely
Tárgy:
Önálló laboratórium - Szoftverfejlesztés és rendszertervezés specializáció, BSc Info.
Önálló laboratórium 1 - Vizuális informatika főspecializáció, MSc Info.
Önálló laboratórium 2 - Vizuális informatika főspecializáció, MSc Info.
Önálló laboratórium 1 - Egészségügyi mérnök, MSc Eü.
Önálló laboratórium 2 - Egészségügyi mérnök, MSc Eü.
Hallgatói létszám:
2
Folytatás:
Szakdolgozat / Diplomaterv
TDK dolgozat
Leírás:
Manapság az alacsonyszintű programokat (különösképp a beágyazott rendszerek szoftvereit) C nyelven írják. A C nyelv gépközeli, aminek előnye, hogy nagyon jól megjósolható a lefordított kód hatékonysága. Sokszor előnynek tartják azt is, hogy kvázi "mindent megenged". Ez ugyanakkor hatalmas probléma is, mivel egy sikeres fordítás után gyakorta csak futásidőben derül ki az esetleges programozási hiba (tömbök túlcímzése, változók túlcsordulása, implicit kasztolásból származó hibák, stb). Ezen hibák nagy részét statikus kódanalizátorokkal ki lehetne szűrni, megspórolva ezzel a bugjavítás hosszas folyamatát.

Egy lehetséges konkrét feladat:

ANTLR C nyelvtannal létrehozott AST (absztrakt szintaxisfa) bejárása és különféle elemzés tervezése, implementálása.

Feltételek:

  • a szakirodalom tanulmányozásához szükséges szintű angol nyelvtudás
  • a C#, Java, Haskell programozási nyelvek valamelyikének ismerete

A téma továbbvihető BSc szakdolgozatként és MSc diplomatervként is.