Section: New Software and Platforms

iflowTYPES.js

Functional Description: iflowtypes.js is a JavaScript library designed to type secure information flow in JavaScript. iflowtypes.js has two main modes of operation: fully static and hybrid. In the hybrid mode, the program to be typed is instrumented with runtime assertions that are verified at runtime. By deferring rejection to runtime, the hybrid type system is able to type more programs than fully static mechanisms.

• Contact: Tamara Rezk

• URL: http://j3fsantos.github.io/PersonalPage/TypeSystem/