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)
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)
Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)
Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and
Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Johannes Lerch and Ben Hermann
(TU Darmstadt, Germany)
proc time: 0.7
