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.
翻译:在本文中,我们的目标是提出一个基于抽象解释的代码抽象化模式,使我们能够通过抽象地解释动态语言来改进最近提出的静态分析的精确性。 我们在这里处理的问题是,分析可能会在字符串到执行的抽象价值中添加一些虚假代码,而这一代码可能需要一些抽象的表达,才能使其可以分析。这正是我们在这里提出的,我们通过我们必须进行的分析来推动代码抽象化。