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.
Number of students who can be accepted: 1
Deadline for application: 2016-01-31
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).