Does this program break the information flow policy?
DISCLAIMER: DIFT is a 3rd party tool offered by NOVA-LINCS@FCT/UNL. By clicking ‘►’, you instruct rise4fun to send the source to NOVA-LINCS@FCT/UNL’s DIFT to be analyzed. Please refer to the terms of use and privacy policy of DIFT.
'►' shortcut: Alt+B
about DIFT - Dependent Information Flow Types: Typechecker
This tool is a prototype typechecker for Dependent Information Flow Types, based on the algorithm described in the POPL 2015 paper (see website).
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft