Acknowledgement
Supported by : 한국연구재단
References
- E. Andreasen and A. Moller, "Determinacy in static analysis for jQuery," Proc. of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2014.
- C. Park and S. Ryu, "Scalable and precise static analysis of JavaScript applications via loop-sensitivity," Proc. of the European Conference on Object-Oriented Programming, 2015.
- M. Schafer, M. Sridharan, J. Dolby, and F. Tip, "Dynamic determinacy analysis," Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013.
- M. Sridharan, J. Dolby, S. Chandra, M. Schafer, and F. Tip, "Correlation tracking for points-to analysis of JavaScript," Proc. of the European Conference on Object-Oriented Programming, 2012.
- W3Techs. [Online]. Available: http://w3techs.com
- JQuery. [Online]. Available: http://jquery.com
- A. Feldthaus, M. Schafer, M. Sridharan, J. Dolby, and F. Tip, "Efficient construction of approximate call graphs for JavaScript IDE services," Proc. of the International Conference on Software Engineering, 2013.
- S. Wei and B. G. Ryder, "Practical blended taint analysis for JavaScript," Proc. of the International Symposium on Software Testing and Analysis, 2013.
- P. Cousot and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints," Proc. of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1977.
- P. Cousot and R. Cousot, "Systematic design of program analysis frameworks," Proc. of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1979.
- SAFE. [Online]. Available: http://safe.kaist.ac.kr
- TAJS. [Online]. Available: https://github.com/csau-dk/TAJS
- WALA. [Online]. Available: http://wala.sourceforge.net
- JSAI. [Online]. Available: http://www.cs.ucsb.edu/-benh/rsearch/downloads/jsai.zip