Powered by
Conference Publishing Consulting

4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2015), June 14, 2015, Portland, OR, USA

SOAP 2015 – Proceedings

Contents - Abstracts - Authors

4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2015)

Title Page
Foreword
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
Publisher's Version Article Search
Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Cristina Cifuentes, Andrew Gross, and Nathan Keynes
(Oracle Labs, Australia; Oracle, USA; Oracle, Australia)
Publisher's Version Article Search
Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)
Publisher's Version Article Search
Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
Publisher's Version Article Search
Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Johannes Lerch and Ben Hermann
(TU Darmstadt, Germany)
Publisher's Version Article Search

proc time: 0.02