Powered by
6th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2017), June 18, 2017,
Barcelona, Spain
6th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2017)
Frontmatter
Points-to Analysis
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Jihyeok Park,
Xavier Rival, and
Sukyoung Ryu
(KAIST, South Korea; CNRS, France; ENS, France; INRIA, France; PSL Research University, France)
@InProceedings{SOAP17p1,
author = {Jihyeok Park and Xavier Rival and Sukyoung Ryu},
title = {Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
A Datalog Model of Must-Alias Analysis
George Balatsouras,
Kostas Ferles,
George Kastrinis, and
Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{SOAP17p7,
author = {George Balatsouras and Kostas Ferles and George Kastrinis and Yannis Smaragdakis},
title = {A Datalog Model of Must-Alias Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2017},
}
An Efficient Tunable Selective Points-to Analysis for Large Codebases
Behnaz Hassanshahi,
Raghavendra Kagalavadi Ramesh,
Padmanabhan Krishnan,
Bernhard Scholz, and
Yi Lu
(Oracle Labs, Australia; University of Sydney, Australia)
@InProceedings{SOAP17p13,
author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu},
title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
Modular Analysis
SootKeeper: Runtime Reusability for Modular Static Analysis
Florian Kübler,
Patrick Müller, and
Ben Hermann
(TU Darmstadt, Germany)
@InProceedings{SOAP17p19,
author = {Florian Kübler and Patrick Müller and Ben Hermann},
title = {SootKeeper: Runtime Reusability for Modular Static Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {},
year = {2017},
}
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Tony Antoniadis,
Konstantinos Triantafyllou, and
Yannis Smaragdakis
(University of Athens, Greece)
@InProceedings{SOAP17p25,
author = {Tony Antoniadis and Konstantinos Triantafyllou and Yannis Smaragdakis},
title = {Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
Soundness and Precision
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Esben Sparre Andreasen,
Anders Møller, and
Benjamin Barslev Nielsen
(Aarhus University, Denmark)
@InProceedings{SOAP17p31,
author = {Esben Sparre Andreasen and Anders Møller and Benjamin Barslev Nielsen},
title = {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2017},
}
On the Construction of Soundness Oracles
Jens Dietrich,
Li Sui,
Shawn Rasheed, and
Amjed Tahir
(Massey University, New Zealand)
@InProceedings{SOAP17p37,
author = {Jens Dietrich and Li Sui and Shawn Rasheed and Amjed Tahir},
title = {On the Construction of Soundness Oracles},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
Benchmarking
Hermes: Assessment and Creation of Effective Test Corpora
Michael Reif,
Michael Eichberg,
Ben Hermann, and
Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{SOAP17p43,
author = {Michael Reif and Michael Eichberg and Ben Hermann and Mira Mezini},
title = {Hermes: Assessment and Creation of Effective Test Corpora},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {43-42},
doi = {},
year = {2017},
}
proc time: 0.01