MTAT bakalaureusetööd – Bachelor's theses
Selle kollektsiooni püsiv URIhttps://hdl.handle.net/10062/32748
Sirvi
Sirvi MTAT bakalaureusetööd – Bachelor's theses Märksõna "abstract interpretation" järgi
Nüüd näidatakse 1 - 1 1
- Tulemused lehekülje kohta
- Sorteerimisvalikud
Kirje Laiendamisoperaatorid abstraktses interpretaatoris Goblint(Tartu Ülikool, 2024) Judin, Ronald; Saan, Simmo, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituutStatic analysis of programs is used to ensure the correctness and safety of software. Abstract interpretation is a method of static analysis used by the abstract interpretator Goblint. Widening is a method in abstract interpretation to ensure the convergence of analysis of cycles. There are many widening operators defined in Goblint. This paper describes them and the implementation of new ones. The newly implemented widening operators were successfully tested.