In this paper, our aim is to propose a model for code abstraction, based on abstract interpretation, allowing us to improve the precision of a recently proposed static analysis by abstract interpretation of dynamic languages. The problem we tackle here is that the analysis may add some spurious code to the string-to-execute abstract value and this code may need some abstract representations in order to make it analyzable. This is precisely what we propose here, where we drive the code abstraction by the analysis we have to perform.

中文翻译：

---

通过代码抽象改进动态代码分析

在本文中，我们的目标是提出一种基于抽象解释的代码抽象模型，使我们能够通过动态语言的抽象解释来提高最近提出的静态分析的精度。我们在这里解决的问题是分析可能会向要执行的字符串抽象值添加一些虚假代码，并且此代码可能需要一些抽象表示以使其可分析。这正是我们在这里提出的建议，我们通过必须执行的分析来驱动代码抽象。