Ovid is a project mainly written in HASKELL and JAVASCRIPT, based on the View license.
direct-style JavaScript CFA
This is the JavaScript program analysis reported in the paper:
Arjun Guha, Shriram Krishnamurthi, and Trevor Jim. Using Static Analysis for Ajax Intrusion Detection. WWW 2009.