In this paper we introduce a novel method for improving static analysis of real code by using
dynamic analysis. We have implemented our technique to enhance the Infer static analyzer …