Browsing Università Ca' Foscari Venezia by Subject "Static analysis"

DSpace/Manakin Repository

Browsing Università Ca' Foscari Venezia by Subject "Static analysis"

Sort by: Order: Results:

  • Information extraction by type analysis 
    Spanò, Alvise <1977> (Università Ca' Foscari Venezia, 2013-04-19)
    This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In ...
  • Information flow analysis by abstract interpretation 
    Zanioli, Matteo <1984> (Università Ca' Foscari Venezia, 2012-03-12)
    Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The goal of this thesis is to provide both theoretical and experimental ...
  • Property driven program slicing and watermarking in the abstract interpretation framework 
    Bhattacharya, Sukriti <1980> (Università Ca' Foscari Venezia, 2011-03-03)
    Interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems. Abstract Interpretation approximates semantics according to some property of choice, this is ...