Disclosure: I was formerly employed by Coverity and (after Coverity's acquisition) Synopsys, who make commercial static analysis tools. I have ongoing financial interests with multiple static analysis vendors.
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.