Login
 Forum
 
 
Thesis topic proposal
 
Statikus elemzés kutatási kérdései

THESIS TOPIC PROPOSAL

Institute: Eötvös Loránd University, Budapest
computer sciences
Doctoral School of Informatics

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).

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )