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

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)


@InProceedings{SOAP15p1, author = {Steven Arzt and Siegfried Rasthofer and Robert Hahn and Eric Bodden}, title = {Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

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)


@InProceedings{SOAP15p8, author = {Cristina Cifuentes and Andrew Gross and Nathan Keynes}, title = {Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {8-7}, doi = {}, year = {2015}, }

Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)


@InProceedings{SOAP15p15, author = {Nicholas Allen and Padmanabhan Krishnan and Bernhard Scholz}, title = {Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2015}, }

Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)


@InProceedings{SOAP15p22, author = {Sam Blackshear and Alexandra Gendreau and Bor-Yuh Evan Chang}, title = {Droidel: A General Approach to Android Framework Modeling}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {22-21}, doi = {}, year = {2015}, }

Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Johannes Lerch and Ben Hermann
(TU Darmstadt, Germany)


@InProceedings{SOAP15p29, author = {Johannes Lerch and Ben Hermann}, title = {Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2015}, }

proc time: 0.68