Laiendamisoperaatorid abstraktses interpretaatoris Goblint

dc.contributor.advisor	Saan, Simmo, juhendaja
dc.contributor.author	Judin, Ronald
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.contributor.other	Tartu Ülikool. Arvutiteaduse instituut	et
dc.date.accessioned	2024-10-04T10:27:13Z
dc.date.available	2024-10-04T10:27:13Z
dc.date.issued	2024
dc.description.abstract	Static 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.
dc.identifier.uri	https://hdl.handle.net/10062/105149
dc.language.iso	et
dc.publisher	Tartu Ülikool	et
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Estonia	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/ee/
dc.subject	staatiline analüüs
dc.subject	abstraktne interpretatsioon
dc.subject	Goblint
dc.subject	static analysis
dc.subject	abstract interpretation
dc.subject.other	bakalaureusetööd	et
dc.subject.other	informaatika	et
dc.subject.other	infotehnoloogia	et
dc.subject.other	informatics	en
dc.subject.other	infotechnology	en
dc.title	Laiendamisoperaatorid abstraktses interpretaatoris Goblint
dc.type	Thesis

Files

Now showing 1 - 1 of 1