Thesis supervisor: Norbert Pataki
Location of studies (in Hungarian): ELTE IK Programozási Nyelvek és Fordítóprogramok tsz Abbreviation of location of studies: ELTE
Description of the research topic:
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.
Required language skills: angol Recommended language skills (in Hungarian): angol Further requirements: 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.