Implementation of the type system in "A sound type system for secure flow analysis"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool