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. Contact support for details.
'►' 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).
rise4fun © 2017 Microsoft Corporation - terms of use - privacy & cookies - code of conduct