Docs
Tools
Policy Enforcer
Test calldata against a policy to check whether it satisfies the constraints.