SOAP 2017- Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Full Citation in the ACM Digital Library

SESSION: Points-to Analysis

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction

A Datalog model of must-alias analysis

An efficient tunable selective points-to analysis for large codebases

SESSION: Modular Analysis

SootKeeper: runtime reusability for modular static analysis

Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses

SESSION: Soundness and Precision

Systematic approaches for increasing soundness and precision of static analyzers

On the construction of soundness oracles

SESSION: Benchmarking

Hermes: assessment and creation of effective test corpora