SOAP '14- Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis

Full Citation in the ACM Digital Library

TS4J: a fluent interface for defining and computing typestate analyses

• Eric Bodden

A software product line for static analyses: the OPAL framework

• Michael Eichberg
• Ben Hermann

Dynamic slicing with soot

• Arian Treffer
• Matthias Uflacker

Explicit and symbolic techniques for fast and scalable points-to analysis

• Edgar Pek
• P. Madhusudan

Android taint flow analysis for app sets

• William Klieber
• Lori Flynn
• Amar Bhosale
• Limin Jia
• Lujo Bauer

How to build the perfect Swiss army knife, and keep it sharp?: Challenges for the soot program-analysis framework in the light of past, current and future demands

• Eric Bodden

Large-scale configurable static analysis

• Mayur Naik