Summary
This paper was written by Anders Moller et al. and published on ACM Computing Surveys in September 2017. It mainly introduces dynamic analysis and test generation for JavaScript, of the challenges, the related approaches, and the future directions. Analysis of JavaScript is challenging because of its dynamic features, such as dynamic typing, dynamic code loading, and dynamic object creation. Dynamic analysis is more amenable than static analysis due to the dynamic features. A multitude of approaches are investigated, aimed at alleviating correctness and reliability issues, addressing security and privacy issues, improving performance, and making developers more productive. On the flip side, test generation is deeply discussed in this paper, which is a promising approach to improve the quality of JavaScript programs. Three frameworks are resumed to implement test generators: Artemis, Crawljax, and Jalangi. Artemis and Crawljax exploit event and value space, while Jalangi only uses value space. In addition, Jalangi and Crawljax have a plugin-based architecture, providing an easy way for others to build on these frameworks. Despite all the advances in analyzing JavaScript programs, various research challenges remain to be addressed. These include improved support for code refactoring and program repair, analyses targeted at emerging platforms and usage scenarios of JavaScript, and combinations of test generation and dynamic analysis.
English Learning
-
words:
anticipate (expect)
heterogeneous (varied)
compound (intensify, is compounded by the fact that)
amenable (receptive)
nominal, titular (in name only)
oblivious (unaware)
likewise
proprietary
extent
benign (harmless)
alleviate (ease, alleviate issues)
pitfall (trap, bug)
idiom
suspiciously (doubtfully)
symptom
preemption (seizure)
glitch (problem)
pioneer
divergence
persistent
manifold (numerous)
mediate (intervene)
magnitude (immensity)
synthetic
facet
resume (begain again)
prohibit (prevent)
fidelity (accuracy)
metric
condensed (concentrated)
impact (influence)
provenance (origin)
recurring (recurring root causes)
elude, side-stepping (evade)
hereby
supersede (replace)
criteria
brittle
evolve
emerging -
phrases:
address the challenge\issue
this limitation have triggered research on program analysis for JavaScript
exercise the program
impose a challenge
to the best of our knowledge
on the flip side
deploy software
resort to (utilize)
ad hoc
steer … to …
align … with …
emit events
on par with
a multitude of
an order of magnitude -
technical words:
encapsulation
compatibility
artifact -
technical phrases:
prototype-based inheritance
event-driven
fine-grained
non-homogeneity
type coercions
null pointer dereference