Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

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:
Dataflow Analysis
Java (Computer Program Language)
Concurrent Programs - Syntax and Semantics
Concurrent Programs - Dataflow Analysis
Flow-Sensitive Pointer Analysis
Null-Pointer Analysis
Sequential Programs - Syntax and Semantics
Flow-Sensitive Dataflow Analysis
Concurrent Java Programs
Sequential Programs - Dataflow Analysis
Acess Path Based Dataflow Analysis
Relaxed Memory Model
Java Memory Model
Computer Science
Online Access:http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

Internet

http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

Similar Items