Audit
Smart contract auditing is a critical step in ensuring the security and reliability of blockchain applications. Accelchain employs a multi-faceted approach, combining Symbolic Execution and AI-Driven Static Analysis to comprehensively audit contracts.
Audit Initiatives:
Initiating Audits: Users can seamlessly initiate audits directly from the main left navbar or by using the 'Run Audit' button located on the upper right side of the IDE in edit mode.
Contract Upload: From the navbar, users can upload contracts directly, triggering an audit report based on both Symbolic Execution and Static Analysis.
For now, Accelchain Audits are adhering to Ethereum.org's SWC (Smart Contract Weaknesses and Common Vulnerabilities) guidelines only.
The tools may not cover all possible attack vectors or business logic vulnerabilities present in the smart contract.
Audit features for 'Attack Vectors' and 'Business Logic Vulnerabilities' are in the pipeline and should be launched soon!
Comprehensive Audit Report:
Combining Insights: Accelchain provides users with a comprehensive Audit Report, combining findings from Symbolic Execution and AI-Driven Static Analysis.
Categorization: Identified issues are categorized by severity, allowing prioritization based on criticality.
Limitations: Symbolic execution may not cover all possible states, and AI analysis is currently focused on the 36 predefined SWC IDs.
Upcoming Features: Accelchain is actively working on features for auditing 'Attack Vectors' and 'Business Logic Vulnerabilities,' enhancing the tool's capabilities.
Last updated
