Relational abstract interpretation of arrays in assembly code
Crossref DOI link: https://doi.org/10.1007/s10703-022-00399-3
Published Online: 2022-10-02
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ballabriga, Clément
Forget, Julien http://orcid.org/0000-0002-1669-8971
Ruiz, Jordy
Funding for this research was provided by:
Agence Nationale de la Recherche (ANR-17-CE25-0003)
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 23 February 2021
Accepted: 14 September 2022
First Online: 2 October 2022