11 citations · 17 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021★ 1 cited
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…
cs.SE2020★ 5 cited
Twinning automata and regular expressions for string static analysis
Luca Negrini, Vincenzo Arceri, Pietro Ferrara +1
In this paper we formalize and prove the soundness of Tarsis, a new abstract domain based on the abstract interpretation theory that approximates string values through finite state…