An analysis of the dynamic behavior of JavaScript programs
Towards a type system for analyzing javascript programs