Statically Checking Conventionality of Array Objects in JavaScript

Younang, Astrid; Lu, Lunjin; Almashfi, Nabil

doi:10.1007/978-3-319-71734-0_16

Cited by 2 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, we exploit the increase in precision in the number domain to develop a string domain that can capture precise information on array index ranges. This domain is a part of a static conventionality analysis for JavaScript arrays that was introduced in [15] which gives more precise information about array index ranges. The abstract string domain is a constant propagation domain similar to the string domain in TAJS except that it is extended with integer intervals as follows.…”

Section: Abstract String Domainmentioning

confidence: 99%

See 1 more Smart Citation

Analyzing JavaScript Programs Using Octagon Domain

Almashfi¹,

EPiC Series in Computing

Self Cite

View full text Add to dashboard Cite

Static analyzers for JavaScript use constant propagation and interval domains to dis- cover numerical properties of program variables. These domains are non-relational and incapable of tracking relationships between variables, leading to imprecise analysis. This paper presents a static analyzer for the full language of JavaScript that employs the octagon domain to capture numerical properties of the program. Our work is built on top of TAJS (type analyzer for JavaScript) which employs a constant propagation domain for numerical properties. We reengineered TAJS’s abstract domain for abstractions of primitive values and its abstract domain for object abstractions and related transfer functions, resulting in an analyzer that is much more precise. Our experiments show an improvement in analysis precision of JavaScript programs with an acceptable increase in cost.

show abstract

Section: Abstract String Domainmentioning

confidence: 99%

“…In the previous example, the element A[0, 5] will be mapped to a dimension that represents the possible values for indexes from 0 to 5. The element A [10,15] will be mapped to another dimension that represents the possible values for indexes from 10 to 15.…”

Section: Arraysmentioning

confidence: 99%