SPLASH 2020 (series) / TAPAS 2020 (series) / TAPAS /
MetaCG: Annotated call-graphs to facilitate whole-program analysis
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 NovDisplayed time zone: Central Time (US & Canada) change
Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change
03:00 - 04:20 | |||
03:00 20mPaper | Program Slicing with Exception Handling TAPAS | ||
03:20 20mPaper | 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 20mPaper | Data Dependence for Object-Oriented Programs TAPAS | ||
04:00 20mPaper | Type checking beyond type checkers, via Slice & Run TAPAS Pre-print |