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: | 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 |
Similar Items
-
Introducing a Dataflow visual programming language for understanding program execution
by: Marin Aglić Čuvić
Published: (2018-11-01) -
Practical Analysis of the Dynamic Characteristics of JavaScript
by: Wei, Shiyi
Published: (2015) -
Specification and control of execution of nondeterministic dataflow programs
by: Barahona, P. M. C. C.
Published: (1987) -
The formal semantics of deterministic dataflow programs
by: Oliveira, J. N. F.
Published: (1984) -
Dataflow Analysis and Workflow Design in Business Process Management
by: Sun, Xiaoyun
Published: (2007)