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

• Jihyeok Park
• Xavier Rival
• Sukyoung Ryu

A Datalog model of must-alias analysis

• George Balatsouras
• Kostas Ferles
• George Kastrinis
• Yannis Smaragdakis

An efficient tunable selective points-to analysis for large codebases

• Behnaz Hassanshahi
• Raghavendra Kagalavadi Ramesh
• Padmanabhan Krishnan
• Bernhard Scholz
• Yi Lu

SESSION: Modular Analysis

SootKeeper: runtime reusability for modular static analysis

• Florian Kübler
• Patrick Müller
• Ben Hermann

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

• Tony Antoniadis
• Konstantinos Triantafyllou
• Yannis Smaragdakis

SESSION: Soundness and Precision

Systematic approaches for increasing soundness and precision of static analyzers

• Esben Sparre Andreasen
• Anders Møller
• Benjamin Barslev Nielsen

On the construction of soundness oracles

• Jens Dietrich
• Li Sui
• Shawn Rasheed
• Amjed Tahir

SESSION: Benchmarking

Hermes: assessment and creation of effective test corpora

• Michael Reif
• Michael Eichberg
• Ben Hermann
• Mira Mezini