research
∙
06/22/2022
Decoupling the ascending and descending phases in Abstract Interpretation
Abstract Interpretation approximates the semantics of a program by mimic...
share
research
∙
09/07/2021
Improving Dynamic Code Analysis by Code Abstraction
In this paper, our aim is to propose a model for code abstraction, based...
research
∙
06/04/2020
Twinning automata and regular expressions for string static analysis
In this paper we formalize and prove the soundness of Tarsis, a new abst...
research
∙
08/17/2018