ifc-ts

ifc-ts is a library that provides developers with an API for specifying information-flow security constraints in effectful code. These constraints are checked statically by TypeScript's type checker. Consequently, if an effectful computation, written

v1.0.6 URL: https://unpkg.com/ifc-ts@1.0.6/dist/index.js

Open Browse Files

ifc IFC information non-interference noninterference LIO flow control security ITU static analysis typescript