Popis tématu

Oborový projekt v oboru Softwarové inženýrství.

Možnosti statické analýzy API kompilovaných jazyků

Průzkumný projekt (feasibility study). Zjistit co generuje (umí generovat) gcc, llvm/clang, VC++ jako mezikód a finální binární reprezentaci, jaké informace jsou k nalezení v souborech v mezikódu a v binárce.

Na základě zjištění mplementovat reverse engineering nástroj, který z mezikódové nebo binární reprezentace knihovny/modulu/komponenty ve vybrané konkrétní technologii vytvoří vhodnou reprezentaci API dané komponenty (nejspíše https://app.assembla.com/spaces/crce/wiki/Metadata_API_model).

Základní validace, že to funguje, na syntetických a jednoduchých reálných datech.

Možnost rozvinutí do diplomové práce, v závislosti na zjištěných výsledcích. Další možná rozšíření: Zahrnutí C++ Modules (https://blogs.msdn.microsoft.com/vcblog/2015/12/03/c-modules-in-vs-2015-update-1/) a možná DbC v C++ (případně dalších věcí z C++ standardů).

Téma vypsal: Doc. Ing. Přemysl Brada, MSc., Ph.D. (UC 354)

Vypsáno pro akademický rok 2020/2021 dne: 2017-03-29

Zadáno komu: (Smazané)

Aktualizováno 0