Static analysis cannot provide fully sound results due to the undecidability of dynamic programming language features. We propose an approach that complements static analysis with relevant information from dynamic analysis. Our goal is to provide a framework that defers part of the execution of a static analysis at unsound code points in order to collect relevant values at runtime. To evaluate this, real-world benchmarks will be used to ensure practical feasibility.

Anemone Kampkötter

TU Dortmund