PLDI 2015 (series) / SOAP 2015 (series) / SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis /
Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, test and reuse. We propose to design these analyses regarding the principle of separation of concerns. Therefore, in this paper we present a reference design for data flow analyses in the context of the IFDS/IDE algorithm. We conducted a case study in order to inspect the level of reuse that can be achieved with our design and found it to be helpful for the efficient development of new analyses.
Sun 14 JunDisplayed time zone: Tijuana, Baja California change
Sun 14 Jun
Displayed time zone: Tijuana, Baja California change
09:00 - 11:00 | |||
09:00 10mDay opening | Opening remarks SOAP | ||
09:10 50mTalk | Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP | ||
10:00 20mTalk | Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP | ||
10:20 20mTalk | Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP | ||
10:40 20mTalk | Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP |