témavezető: Porkoláb Zoltán
helyszín (magyar oldal): ELTE IK Programozási Nyelvek és Fordítóprogramok tsz helyszín rövidítés: ELTE
A kutatási téma leírása:
A statikus elemzés (a programok elemzése azok aktuális végrehajtása nélkül) hatékony eszköz szoftverrendszerek minőségének biztosítására.
Alkalmazási területei közé tartoznak pl. a szoftvermetrikák számításai, a tervezési minták, veszélyes programkonstrukciók, kódduplikátumok előfordulásainak felderítése, és számos más aktuális terület..
A kutatás célja a statikus elemzés lehetőségeink tisztázása, a meglevő módszerek és eszközök hatékonyságának növelése, új kutatási területek meghatározása, ipari környezetben is alkalmazható prototípusok kidolgozása.
előírt nyelvtudás: angol ajánlott nyelvtudás (magyar oldal): angol további elvárások: A hallgató magas szinten ismerje a C++ programozási nyelvet, és legyen tisztában a a programnyelvi elemzők, parserek felépítésével. További előnyt jelent az LLVM/Clang fordító ismerete.