direct-style JavaScript CFA
Haskell JavaScript
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
src
.gitignore
AUTHORS
LICENSE
Ovid.cabal
README
Setup.lhs
jscfa

README

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.