/secure-flow

Implementation of the type system in "A sound type system for secure flow analysis"

Primary LanguageC++

No issues in this repository yet.