Cthulhu je medzireprezentácia umožňujúca statickú analýzu vysokoúrovňových programovacích jazykov. Cieľom projektu je jej rozšírenie o interakciu s existujúcimi medzireprezentáciami implementáciou dvoch prekladačov: z LLVM IR do Cthulhu a z Cthulhu do QuickJS. Vďaka širokej podpore LLVM IR bude možné pomocou Cthulhu analyzovať jazyky ako sú C a C++. Preklad do QuickJS umožní spúšťať analyzované programy nad virtuálnym strojom QJS a položí základy plánovanej statickej analýzy jazyka JavaScript.

Sustainable Development Goals

Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.