Autor:	Mastroeni, Isabella, Arceri, Vincenzo
Rok vydání:	2021
Předmět:	Computer Science - Software Engineering Computer Science - Programming Languages
Zdroj:	EPTCS 341, 2021, pp. 17-32
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.341.2
Popis:	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. Comment: In Proceedings VPT 2021, arXiv:2109.02001
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2109.02813 Zobrazit plný text záznamu View this record from Arxiv