BibTex format
@inproceedings{Arceri:2016,
author = {Arceri, V and Maffeis, S},
publisher = {Elsevier},
title = {Abstract domains for type juggling},
url = {http://hdl.handle.net/10044/1/45045},
year = {2016}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - CPAPER
AB - Web scripting languages, such as PHP and JavaScript, provide a wide range of dynamic features that makethem both flexible and error-prone. In order to prevent bugs in web applications, there is a sore need forpowerful static analysis tools. In this paper, we investigate how Abstract Interpretation may be leveragedto provide a precise value analysis providing rich typing information that can be a useful component forsuch tools.In particular, we define the formal semantics for a core of PHP that illustratestype juggling, the implicittype conversions typical of PHP, and investigate the design of abstract domains and operations that, whilestill scalable, are expressive enough to cope with type juggling. We believe that our approach can also beapplied to other languages with implicit type conversions.
AU - Arceri,V
AU - Maffeis,S
PB - Elsevier
PY - 2016///
SN - 1571-0661
TI - Abstract domains for type juggling
UR - http://hdl.handle.net/10044/1/45045
ER -