Security Analysis Tool (SAT) | Cosign