Analysis of JavaScript Programs: Challenges and Research Trends
作者： Kwangwon Sun , Sukyoung Ryu
DOI: 10.1145/3106741
关键词: Security analysis 、 Static analysis 、 Empirical research 、 Type safety 、 Unobtrusive JavaScript 、 Web application 、 World Wide Web 、 JavaScript 、 De facto standard 、 Computer science
摘要: … Static analysis has been the most dominant research topic for client-side JavaScript applications. Out of 154 papers that we studied in this article,5 53 papers mainly discuss static …
acm.org
sci-hub.se 参考文章(173)
Paruj Ratanaworabhan, Benjamin Livshits, Benjamin G. Zorn, JSMeter: comparing the behavior of JavaScript benchmarks with real web applications usenix conference on web application development. pp. 3- 3 ,(2010)
Charlie Curtsinger, Benjamin Livshits, Benjamin Zorn, Christian Seifert, ZOZZLE: fast and precise in-browser JavaScript malware detection usenix security symposium. pp. 3- 3 ,(2011)
Benjamin C. Pierce, Aaron Bohannon, Featherweight Firefox: formalizing the core of a web browser usenix conference on web application development. pp. 11- 11 ,(2010)
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip, Correlation Tracking for Points-To Analysis of JavaScript ECOOP 2012 – Object-Oriented Programming. pp. 435- 458 ,(2012) , 10.1007/978-3-642-31057-7_20
Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi, Verifying Web Browser Extensions’ Compliance with Private-Browsing Mode european symposium on research in computer security. pp. 57- 74 ,(2013) , 10.1007/978-3-642-40203-6_4
Benjamin S. Lerner, Shriram Krishnamurthi, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-De La Vallee, Modeling and reasoning about DOM events usenix conference on web application development. pp. 1- 1 ,(2012)
Simon Holm Jensen, Anders Møller, Peter Thiemann, None, Type Analysis for JavaScript static analysis symposium. pp. 238- 255 ,(2009) , 10.1007/978-3-642-03237-0_17
Magnus Madsen, Anders Møller, Sparse Dataflow Analysis with Pointers and Reachability static analysis symposium. pp. 201- 218 ,(2014) , 10.1007/978-3-319-10936-7_13
Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez, Moving Fast with Software Verification Lecture Notes in Computer Science. pp. 3- 11 ,(2015) , 10.1007/978-3-319-17524-9_1
Peter Thiemann, Matthias Keil, TreatJS: Higher-Order Contracts for JavaScripts european conference on object-oriented programming. ,vol. 37, pp. 51- ,(2015) , 10.4230/LIPICS.ECOOP.2015.28