ARCERI, Vincenzo, Martina OLLIARO, Agostino CORTESI and Isabella MASTROENI. Completeness of Abstract Domains for String Analysis of JavaScript Programs. Online. In Robert M. Hierons, Mohamed Mosbah. CORTESI, Agostino and Isabella MASTROENI. Theoretical Aspects of Computing – ICTAC 2019. Hammamet, Tunisia: Springer, 2019. p. 255-272. ISBN 978-3-030-32504-6. Available from: https://dx.doi.org/10.1007/978-3-030-32505-3_15. [citováno 2024-04-23]
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Completeness of Abstract Domains for String Analysis of JavaScript Programs
Authors ARCERI, Vincenzo (380 Italy), Martina OLLIARO (380 Italy, guarantor, belonging to the institution), Agostino CORTESI (380 Italy) and Isabella MASTROENI (380 Italy)
Edition Hammamet, Tunisia, Theoretical Aspects of Computing – ICTAC 2019, p. 255-272, 18 pp. 2019.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Switzerland
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
Impact factor Impact factor: 0.402 in 2005
RIV identification code RIV/00216224:14330/19:00116391
Organization unit Faculty of Informatics
ISBN 978-3-030-32504-6
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-030-32505-3_15
UT WoS 000582443200015
Keywords in English string abstract domains; abstract interpretation completeness; string analysis
Tags firank_B
Tags International impact
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/3/2021 15:41.
Abstract
Completeness in abstract interpretation is a well-known property, which ensures that the abstract framework does not lose information during the abstraction process, with respect to the property of interest. Completeness has been never taken into account for existing string abstract domains, due to the fact that it is difficult to prove it formally. However, the effort is fully justified when dealing with string analysis, which is a key issue to guarantee security properties in many software systems, in particular for JavaScript programs where poorly managed string manipulating code often leads to significant security flaws. In this paper, we address completeness for the main JavaScript-specific string abstract domains, we provide suitable refinements of them, and we discuss the benefits of guaranteeing completeness in the context of abstract-interpretation based string analysis of dynamic languages.
PrintDisplayed: 23/4/2024 23:10