Saan, Simmo, juhendajaJudin, RonaldTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2024-10-042024-10-042024https://hdl.handle.net/10062/105149Static 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.etAttribution-NonCommercial-NoDerivs 3.0 Estoniastaatiline analüüsabstraktne interpretatsioonGoblintstatic analysisabstract interpretationbakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis