/confidential

verifier for the Information Release Confinement property

Dependencies

Boogie version 2
Z3 version 4.4.1

Please follow the steps in references/README

Usage

CfiDriver/bin/Debug/CfiDriver.exe benchmark_name