Verification of Signed Binaries

Use spctl and codesign utilities to inspect the signature status of a local binary.