13 citations · 26 across the 6 of their papers we have counts for
6 papers
Decoupling the ascending and descending phases in Abstract Interpretation
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain . The abstract (post-) fixpoint com…
Improving Dynamic Code Analysis by Code Abstraction
Isabella Mastroeni, Vincenzo Arceri
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…
Static Program Analysis for String Manipulation Languages
Vincenzo Arceri, Isabella Mastroeni
In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a wide range of fields and applications. Their tricky and misunderstood behaviors p…
SEA: String Executability Analysis by Abstract Interpretation
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi +1
Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely har…
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact val…
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications
Isabella Mastroeni
In this paper we provide a survey on the framework of abstract non-interference. In particular, we describe a general formalization of abstract non-interference by means of three d…