Compare products
Annual estimate10 people, entry price
Contact sales
Not available
Offer
No offer right now
No offer right now
Focus
Code Security Scanning
Code Security Scanning
Product
Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code.
Open source SAST tool for detecting and preventing hardcoded secrets in Git repositories with fast scanning.
Headquarters
Jerusalem, Israel
Remote
Company size
51-200 employees
2-10 employees
Plan
Not available
Not available
Published rate
Contact sales
Not available
Billable seats
Confirm with vendor
Confirm with vendor
Free options
Free plan, Free trial
Free plan
Other costs
Confirm with vendor
Confirm with vendor
Pricing source
Vendor quote
Not available
Source updated
Oct 14, 2026
Oct 14, 2026
Capabilities
Plan capabilities
Integrations
Security and switching
Security reviews
Security and migration
Case studies and sources
Case studies
Customer evidence
Open the full comparison
Plan limits, integrations, security reviews and case studies for every product you compare.
Code Security Scanning
ProductCategoryPriceOffer
