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