Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Dataflow Analysis"
Now showing items 1-1 of 1
-
Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
(2016-09-14)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 ...