Search
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 ...