A suite of abstract domains for static analysis of string values

Autor:	Costantini, Giulia, Ferrara, Pietro, Cortesi, Agostino
Jazyk:	angličtina
Rok vydání:	2015
Předmět:	Settore INF/01 - Informatica Abstract domains Abstract interpretation Static analysis Strings
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3655::c17e9d2838c4fc8356ec4552e4609bb0 http://hdl.handle.net/10278/37774 Zobrazit plný text záznamu