Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Wed 25 Oct 2017 16:37 - 17:00 at Regency C - Dynamic Analysis Chair(s): Jonathan Aldrich

Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools such as Tamiflex. Past approaches, however, miss significant portions of dynamic behavior, due to native code, unsupported features (e.g., invokedynamic or lambdas in Java), and more. We present techniques that substantially enhance the soundness of a static analysis, with virtually no intrusion to the analysis logic. Our approach is reified in the HeapDL tool and consists in taking whole-heap snapshots during program execution, enriched in such a way that they capture significant aspects of dynamic behavior, regardless of the causes of such behavior. The snapshots are then used as extra inputs to the static analysis. The approach exhibits both portability and significantly increased soundness. Heap information under one set of dynamic inputs allows a static analysis to be much more sound for other inputs. A HeapDL-enhanced static analysis of the DaCapo benchmarks computes 99.5% (median) of the call-graph edges of unseen dynamic executions (vs. 76.9% for the Tamiflex tool).

Wed 25 Oct

splash-2017-OOPSLA
15:30 - 17:00: OOPSLA - Dynamic Analysis at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2017-OOPSLA150893820000015:30 - 15:52
Talk
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
splash-2017-OOPSLA150893955000015:52 - 16:15
Talk
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael BondOhio State University, Dan GrossmanUniversity of Washington
DOI
splash-2017-OOPSLA150894090000016:15 - 16:37
Talk
DOI
splash-2017-OOPSLA150894225000016:37 - 17:00
Talk
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI