Know your analysis: how instrumentation aids understanding static analysis

Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden. Know your analysis: how instrumentation aids understanding static analysis. In Neville Grech, Thierry Lavoie, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. pages 8-13, ACM, 2019. [doi]

Abstract

Abstract is missing.