SOAP 2015- Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Full Citation in the ACM Digital Library

Using targeted symbolic execution for reducing false-positives in dataflow analysis

• Steven Arzt
• Siegfried Rasthofer
• Robert Hahn
• Eric Bodden

Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform

• Cristina Cifuentes
• Andrew Gross
• Nathan Keynes

Combining type-analysis with points-to analysis for analyzing Java library source-code

• Nicholas Allen
• Padmanabhan Krishnan
• Bernhard Scholz

Droidel: a general approach to Android framework modeling

• Sam Blackshear
• Alexandra Gendreau
• Bor-Yuh Evan Chang

Design your analysis: a case study on implementation reusability of data-flow functions

• Johannes Lerch
• Ben Hermann