Olliaro, Martina <1991>
(Università Ca' Foscari Venezia, 2021-03-24)
This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the abstract interpretation theory to string analysis. ...