SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 03:20 - 03:40 at SPLASH-V - Session 1

The paper presents the extendable C/C++ whole-program call-graph tool MetaCG. We introduce its graph library, the Clang-based tool CGCollector to construct the call graph and attach meta information, and, CGValidate to check for missing edges given a particular execution. MetaCG offers extendability through its metadata function-annotation mechanism to transfer information between tools. It preserves inheritance hierarchies and can be serialized into json. We evaluate CGCollector’s ability to construct whole-program call-graphs for C/C++ code and, subsequently, present a performance profiler and a memory sanitizer that rely on MetaCG for whole-program call-graph information.

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

03:00 - 04:20
Session 1TAPAS at SPLASH-V
03:00
20m
Paper
Program Slicing with Exception Handling
TAPAS
03:20
20m
Paper
MetaCG: Annotated call-graphs to facilitate whole-program analysis
TAPAS
Jan-Patrick Lehr Scientific Computing, TU Darmstadt, Alexander Hück Institute for Scientific Computing, TU Darmstadt, Yannic Fischler TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt
03:40
20m
Paper
Data Dependence for Object-Oriented Programs
TAPAS
04:00
20m
Paper
Type checking beyond type checkers, via Slice & Run
TAPAS
Justus Adam University of Kent, UK, Stephen Kell University of Kent
Pre-print