https://certora.com

CertoraIndustry-leading formal verification tools and smart contract audits.CertoraOpen main menuProductsAuditsCommunityCompanyDocsLoginGet started free →Move fast, break nothing.Secure your smart contracts with industry-leading formal verification tools & smart contract audits.Get started freeRequest an audit$25B+ TVL ProtectedProve your code works with mathematical certaintyCertora Prover is a powerful tool that compares your smart contract bytecode against a rule detailing how you expect your code to behave. This process, known as formal verification, will check every possible contract state and contract path to identify critical vulnerabilities that hackers can exploit.Solidity/contracts/ERC20.solcontract ERC20 is IERC20, IERC20Metadata { ... function transferFrom(address from, address to, uint256 value) public virtual returns (bool) { _spendAllowance(from, msg.sender, value); _transfer(from, to, value); return true; } ...Rule/specs/ERC20.spec// Checks that transferFrom() decreases allowance of `e.msg.sender` rule checkTransferFrom(address sender, address recipient, uint256 amount) { env e; // represents global variables like msg.sender require sender != recipient && amount > 0; uint256 allowanceBefore = allowance(sender, e.msg.sender); transferFrom(e, sender, recipient, amount); uint256 allowanceAfter = allowance(sender, e.msg.sender); assert (allowanceBefore > allowanceAfter), "allowance must decrease..."; // error message }Learn about Prover →Use the most powerful security tools availableRun on every commitSecure your code on every commit by integrating Prover into your development pipeline. Find more bugsCatch rare and hard-to-find bugs using our formal verification tools that give you the widest coverage.Hire our expertsHire our team of formal verification experts to write custom rules that ensure the security of your code. Code security that inspires confidenceFind the right solution for you, whether you run our tools yourself or hire our team of experts to secure your code.Integrate into your processCertora ProverRun on every commitCheck every contract stateCheck every contract pathVerify your contract propertiesLearn About ProverDedicated audit teamSecurity AuditsDedicated auditorsFormal verification expertsDetailed reportInteractive process with teamExplore AuditsEngage our communityWork with our community to crowdsource custom formal specifications to find vulnerabilities in your code. We run frequent community audit contests together with leading platforms like Code4rena. Learn More →ProductsProverGambitSecurity ServicesAuditsEnterprisePricingCommunityContestsLeaderboardCompanyTeamCareersBlogMedia KitTerms of UsePrivacy Policyenen1730967664https://certora.com

Sahypaňyzy redaktirläňmi?

Näme edýärsiň?