Browsing Università Ca' Foscari Venezia by Author "Olliaro, Martina <1991>"

DSpace/Manakin Repository

Browsing Università Ca' Foscari Venezia by Author "Olliaro, Martina <1991>"

Sort by: Order: Results:

  • M-String Segmentation: a refined abstract domain for static analysis of C programs. 
    Olliaro, Martina <1991> (Università Ca' Foscari Venezia, 2017-07-06)
    The goal of the thesis is to present a refined segmentation abstract domain for the analysis of strings in C programming language. We properly extend the parametric segmentation approach to array representation by P. ...
  • String analysis for software verification 
    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. ...