direct-style JavaScript CFA
Haskell JavaScript
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
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.