  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.
