How can dynamic analysis features be used to improve static Abstract Interpretation?

Published: 28.10.2022 | 115 Words | 1 minutes
Tags: [ ]

As part of my computer science studies I wrote a paper about Abstract Interpretation. Here you can find the abstract and the full pdf.

Abstract

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.

That's all ;)
Back to the top