Modern trends in software engineering such as dynamic programming features, extensive use of third-party libraries or various different execution environments are posing hard challenges for static analysers. Therefore the use of Abstract Interpretation is limited. Dynamic analysis methods are often not constrained by these practices. Therefore, it seems obvious to combine Abstract Interpretation with different dynamic analysis methods to mutually compensate each disadvantages. This elaboration will recap on a few ways to combine Abstract Interpretation and dynamic analysis. Also problems that still need to be solved are shown.

Recap of Patrick Cousot paper about Abstract Interpretation principles and some use cases.