Verify Policy

Description

Verify the analysis results against a Souffle Datalog policy.

Usage

usage: ./run_macaron.sh verify-policy [-h] -d DATABASE (-f FILE | -s)

Options

-h, --help: Show this help message and exit

-d DATABASE, --database DATABASE: Path to the database.

-f FILE, --file FILE: Path to the Datalog policy.

-s, --show-prelude: Show policy prelude.