Searching protocol for "security-dossier"
One-command security dossiers for function audits.
Quantify taint exploitability to prioritize findings.