Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

In this thesis, we have developed a flow-sensitive data flow analysis framework for value set analyses for Java-like languages. Our analysis frame work is based on access paths—a variable followed by zero or more field accesses. We express our abstract states as maps from bounded access paths to abs...

Full description

Bibliographic Details
Main Author: Arnab De, *
Other Authors: D'souza, Deepak
Language:en_US
Published: 2016
Subjects:
Online Access:http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf