13 citations · 26 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
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 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…