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...
Main Author: | |
---|---|
Other Authors: | |
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 |