Black Duck vs Certora
Black DuckSoftware Composition Analysis
CustomPublished price
CertoraCode Security Scanning
CustomPublished price
Black Duck Software Composition Analysis Open source security and compliance. | Certora Code Security Scanning Move fast, break nothing. Secure your smart contracts with industry-leading formal verification tools & smart contract audits. | |
|---|---|---|
| Overview | ||
| Category | Software Composition Analysis | Code Security Scanning |
| What it is | Black Duck provides software composition analysis that helps organizations manage security, quality, and license compliance risks from open-source and third-party code. | Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code. |
| Pricing | ||
| Published price | Custom No public list price; quote-only, and AWS Marketplace listings are private-offer. Black Duck (formerly Synopsys' app-security business) SCA is sold by contract. Procurement benchm… | Custom Certora Prover offers a free self-serve tier ('Get started free'/signup) for developers; paid Prover usage and professional formal-verification audits are quote-only with no publi… |
| Pricing model | Custom quote | Tiered plans |
| Free options | No free plan · Free trial | Free plan · Free trial |
| Deal on Cubbie | None right now | None right now |
| Company | ||
| Founded | 2002 | 2018 |
| Team size | 1001-5000 employees | 51-100 employees |
| Headquarters | Burlington, Massachusetts | Jerusalem, Israel |
| Featured clients | BMW, Siemens, Bosch | Not available |