Abstraktne silur Goblintile

Abstract

Staatiline analüüs on kasulik meetod programmi omaduste tuvastamiseks ilma programmi jooksutamata. Goblint on Tartu Ülikoolis arendatav staatiline analüsaator C keelele. Staatilise analüüsi käigus tuvastab Goblint palju programmi omadusi, näiteks muutujate võimalike väärtusi programmi eri punktides. Need tulemused on kasulikud nii analüüsitava programmi kui ka Goblinti analüüside käitumise mõistmiseks, kuid hetkel puudub nende kuvamiseks hea viis. Olemasolevad tööriistad esitavad info toorel ja raskesti tõlgendataval kujul. Selles töös luuakse esmane versioon ühest võimalikust lähenemisest selle info kuvamiseks. Loodud lahendus on nn abstraktne silur, mis kasutab tavalise siluri (debugger) kasutajaliidest, kuid selle asemel et programmi jooksutada, kasutab abstraktne silur Goblinti analüüsi tulemusi, et simuleerida programmi jooksutamist. Selles töös realiseeritakse siluri esmane versioon ning kogutakse sellele tagasisidet Goblinti arendajatelt. Loodud abstraktne silur on mitmes aspektis edasiminek võrreldes olemasolevate tööriistadega Goblinti analüüsi tulemuste uurimiseks.