achudnov / jest

A research prototype of an information-flow monitor inliner for JavaScript

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

JEST

An Information Flow Monitor Inliner for JavaScript Web Applications. Read Andrey Chudnov's PhD dissertation for an overview and rationale for the design and implementation.

Build instructions

Currently the stack tool (http://haskellstack.org) is a prerequisite for building. Follow the instructions to set up the tool and your environment. Then issue stack build in the project directory.

Development setup

Use your favorite tools for developing in Haskell. For JavaScript I use Facebook Flow (http://github.com/facebook/flow).

About

A research prototype of an information-flow monitor inliner for JavaScript

License:Other


Languages

Language:JavaScript 89.8%Language:Haskell 10.1%Language:Makefile 0.1%