SOAP 2016 – Proceedings

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

Towards Cross-Platform Cross-Language Analysis with Soot
Steven Arzt, Tobias Kussmaul, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany; University of Paderborn, Germany; Fraunhofer IEM, Germany)


@InProceedings{SOAP16p1, author = {Steven Arzt and Tobias Kussmaul and Eric Bodden}, title = {Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

Iceberg: A Tool for Static Analysis of Java Critical Sections
Michael D. Shah and Samuel Z. Guyer
(Tufts University, USA)


@InProceedings{SOAP16p7, author = {Michael D. Shah and Samuel Z. Guyer}, title = {Iceberg: A Tool for Static Analysis of Java Critical Sections}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2016}, }

Toward an Automated Benchmark Management System
Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden
(Fraunhofer IEM, Germany; TU Darmstadt, Germany; University of Paderborn, Germany)


@InProceedings{SOAP16p13, author = {Lisa Nguyen Quang Do and Michael Eichberg and Eric Bodden}, title = {Toward an Automated Benchmark Management System}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }

On the Unsoundness of Static Analysis for Android GUIs
Yan Wang, Hailong Zhang, and Atanas Rountev
(Ohio State University, USA)


@InProceedings{SOAP16p19, author = {Yan Wang and Hailong Zhang and Atanas Rountev}, title = {On the Unsoundness of Static Analysis for Android GUIs}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2016}, }

LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM
Andres Nötzli and Fraser Brown
(Stanford University, USA)


@InProceedings{SOAP16p25, author = {Andres Nötzli and Fraser Brown}, title = {LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

proc time: 0.68