Vendor 1
CertoraCode Security Scanning
Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code.
Contact salesPriceNo reviewsRating2018Founded
Certora vs Terrascan
Vendor decision canvas
Vendor 2
TerrascanCode Security Scanning
Open source static code analysis tool for IaC detecting security vulnerabilities and compliance violations in Terraform and more.
No reviewsRating2020Founded
Carry this decision forward
Certora + Terrascan can move into a shared evaluation.
Evidence sheet
2-vendor view| Vendor 1 Certora Code Security Scanning Move fast, break nothing. Secure your smart contracts with industry-leading formal verification tools & smart contract audits. | Vendor 2 Terrascan Code Security Scanning Shift left and reduce risk with IaC security | |
|---|---|---|
| Overview | ||
| Category | Code Security Scanning | Code Security Scanning |
| What it is | Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code. | Open source static code analysis tool for IaC detecting security vulnerabilities and compliance violations in Terraform and more. |
| Pricing | ||
| Price | Contact sales | Not available |
| Pricing model | Tiered plans | Not available |
| Free options | Free plan, Free trial | Free plan, No free trial |
| Company | ||
| Founded | 2018 | 2020 |
| Team size | 51-100 employees | 51-200 employees |
| Headquarters | Jerusalem, Israel | Hillsboro, OR |
