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

A software product line for static analyses: the OPAL framework

Dynamic slicing with soot

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

Android taint flow analysis for app sets

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

Large-scale configurable static analysis