Coverity static analysis was developed by Synopsys and helps development and security teams find and fix defects and security flaws in code.