An analysis of the dynamic behavior of JavaScript programs
Using static analysis for Ajax intrusion detection