Smart Contract Auditing In Blockchain Explained

Specification Gathering


This is the most crucial stage because the detail is key for a successful smart contract Security audit. Here we will gather the specifications from you to know the intended behavior of smart contract. In this stage, we need a summary of the intended behavior of the smart contract from your side. We would also gather specification through forms.

Manual Testing

  • Smart contract will be manually deployed on any of the test network (Ropsten/Rinkeby) using remix IDE.
  • All the transaction hashes will be recorded.
  • Gas consumptions and behavior of functions also noted.
  • The goal is to get to as many skilled eyes on contract code as possible.
  • Manual Review

  • Verify that every detail in the specification is implemented in smart contract.
  • Verify that the contract does not have any behavior that is not specified in specifications.
  • Verify that contract does not violate original intended behavior of specifications.
  • VERIFICATION OF FIXES


  • Re-entrance
  • Overflows
  • Denial of service
  • Bad randomness
  • Front running
  • Short address attack
  • Unknown vulnerabilities
  • Time manipulation
  • Testing with Automated Tools


  • Manticore
  • Solgraph
  • Initial Audit Report
  • Final Stage
  • Solidity Coverage
  • After initial audit fixes, process is repeated again and Final audit report is delivered.
  • Smart Contracts Audits Service

    Solidity Audit Solutions is led by security experts from the renowned university ETH Zurich. We are trusted by 85+ blockchain companies and established corporations with security audits and services.

    HOW DOES OUR AUDITING PROCESS WORK?

    Request a smart contract audit quote and choose to use our services. We are excited to collaborate with you.
    Our verification process includes four categories of analysis. Static analysis, manual analysis, design patterns and smart contract behavior. We manually go through your code, line by line, looking for any known issues and usage of industry best practices, and possibilities for any potential improvements or optimization.
    We send you the first smart contract audit report which contains detailed and comprehensive comments on issues found during the audit process, including improvement suggestions. Your team makes all the necessary corrections.
    If required, a remediation audit is performed to confirm the necessary fixes for issues that were found during the main audit process, and your beautiful PDF audit report is delivered to you.

    Request Free Consultation

    Audit request