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.
Improving dynamic code analysis by code abstraction / Mastroeni, I.; Arceri, V.. - 341:(2021), pp. 17-32. (Intervento presentato al convegno 9th International Workshop on Verification and Program Transformation, VPT 2021 tenutosi a lux nel 2021) [10.4204/EPTCS.341.2].
Improving dynamic code analysis by code abstraction
Arceri V.
2021-01-01
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
paper.pdf
accesso aperto
Tipologia:
Versione (PDF) editoriale
Licenza:
Creative commons
Dimensione
591.52 kB
Formato
Adobe PDF
|
591.52 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
