Laiendamisoperaatorid abstraktses interpretaatoris Goblint
Nimi
Ronald Judin
Kokkuvõte
Programmide staatilist analüüsi kasutatakse, et tarkvara korrektsuses ja ohutuses veenduda. Abstraktne interpretatsioon on staatilise analüüsi meetod, mida kasutab abstraktne interpretaator Goblint. Laiendamine on abstraktses interpretatsioonis viis tsüklite analüüsi koondumise kindlustamiseks. Goblintis on defineeritud palju laiendamisoperaatoreid. Selles töös on neid kirjeldatud ning realiseeritud uusi. Realiseeritud laiendamisoperaatoreid testiti edukalt.
Lõputöö keel
eesti
Lõputöö tüüp
Bakalaureus - Informaatika
Juhendaja(d)
Simmo Saan
Kaitsmise aasta
2024