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

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

See the SOAP 2015 website

Sun 14 Jun

09:00 - 11:00: SOAP - session 1 at B110-B11
Chair(s): Anders Møller

09:00 - 09:10
Day opening

Opening remarks

09:10 - 10:00
Talk

Static Analysis for Android: GUIs, Callbacks, and Beyond

10:00 - 10:20
Talk

Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis

Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden

10:20 - 10:40
Talk

Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions

Johannes Lerch, Ben Hermann

10:40 - 11:00
Talk

Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code

Nicholas Allen, Paddy Krishnan, Bernhard Scholz

11:20 - 12:30: SOAP - session 2 at B110-B11
Chair(s): Mayur Naik

11:20 - 12:20
Talk

Static Analysis of JavaScript: Insights and Challenges

14:00 - 15:30: SOAP - session 3 at B110-B11
Chair(s): Mayur Naik

14:00 - 14:30
Talk

Evaluating Call Graph Construction for JVM-hosted Language Implementations

14:30 - 15:00
Talk

Droidel: A General Approach to Android Framework Modeling

Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang

15:00 - 15:30
Talk

Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform

Cristina Cifuentes, Andrew Gross, Nathan Keynes

16:00 - 18:00: SOAP - session 4 at B110-B11
Chair(s): Anders Møller

16:00 - 17:00
Talk

Jalangi: A Dynamic Analyses Framework for JavaScript

See the SOAP 2015 website

Presentations

	Title
	Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code Nicholas Allen, Paddy Krishnan, Bernhard Scholz
	Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions Johannes Lerch, Ben Hermann
	Droidel: A General Approach to Android Framework Modeling Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
	Evaluating Call Graph Construction for JVM-hosted Language Implementations Frank Tip
	Jalangi: A Dynamic Analyses Framework for JavaScript Koushik Sen
	Opening remarks
	Static Analysis for Android: GUIs, Callbacks, and Beyond Atanas Rountev
	Static Analysis of JavaScript: Insights and Challenges Ben Hardekopf
	Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform Cristina Cifuentes, Andrew Gross, Nathan Keynes
	Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden