Audits
Audits are comprehensive security assessments that analyze your smart contracts for vulnerabilities, gas optimization opportunities, and best practices. Each audit produces detailed findings with severity classifications to help you prioritize security improvements.What Audits Produce
Audits generate two main types of findings:Security Findings
Comprehensive analysis of potential security vulnerabilities including:- Critical: Immediate threats that could lead to loss of funds or contract compromise
- High: Significant security risks that should be addressed promptly
- Medium: Moderate security concerns that warrant attention
- Low: Minor issues or best practice violations
- Info: Informational findings and recommendations
Gas Findings
Optimization opportunities to improve contract efficiency:- Gas Optimization: Recommendations to reduce gas consumption
- Storage Optimization: Suggestions for more efficient storage patterns
- Function Optimization: Tips for optimizing function execution costs
Human Oversight Required: While AI-powered audits provide comprehensive analysis, they should always be complemented with human review. Security experts should validate findings, assess business logic risks, and make final decisions about remediation priorities.
Audit Scope
When creating an audit, you can specify the scope of analysis to focus on specific areas of your codebase:Scope Options
Entire Codebase
Analyze all contracts and functions in your project for comprehensive coverage.Specific Sources
Target particular source files for focused analysis on specific components.Specific Contracts
Analyze individual smart contracts, useful for large projects with multiple contracts.Specific Functions
Focus on particular functions that are “auditable” - entry point functions that are publicly accessible and read/write state.Auditable Functions
“Auditable” functions are entry points to your smart contract that meet specific criteria:- Public Accessibility: Functions that can be called by external users or contracts
- State Modification: Functions that read or write contract state
- Entry Points: Functions that serve as the primary interface to your contract’s functionality
Contracts can inherit or override functions, so the context in which functions are called is important for accurate analysis. BevorAI considers inheritance chains and function overrides when determining audit scope.
Creating Audits
Basic Audit Creation
Scoped Audit Creation
Audit Lifecycle
1. Audit Creation
- Specify project, code version, and scope
- Audit is queued for processing
- Receive audit ID for tracking
2. Processing
- AI models analyze your code
- Security and gas findings are generated
- Results are compiled and categorized
3. Results
- Review findings by severity
- Analyze gas optimization opportunities
- Plan remediation strategy
4. Iteration
- Address findings in your code
- Create new code version
- Run additional audits to verify fixes
Best Practices
Multiple Audits
Since audits are non-deterministic, create multiple audits for the same code version:Scope Selection
Choose appropriate scope based on your needs:- Development Phase: Use entire codebase scope for comprehensive analysis
- Feature Testing: Use specific functions scope for targeted analysis
- Large Projects: Use specific contracts scope for manageable analysis
Human Review Process
- Automated Analysis: Let BevorAI identify potential issues
- Expert Review: Have security experts validate findings
- Business Logic: Assess findings in context of your specific use case
- Prioritization: Focus on critical and high-severity issues first
- Remediation: Implement fixes and verify with follow-up audits
Continuous Improvement
We’re constantly working on improving the functionality and performance of audits. New analysis techniques, expanded vulnerability detection, and enhanced gas optimization recommendations are regularly added to provide more comprehensive and accurate results.
What We’re Improving
- Detection Accuracy: Enhanced AI models for better vulnerability detection
- Performance: Faster audit processing and more efficient analysis
- Coverage: Expanded support for new Solidity features and patterns
- Gas Analysis: More sophisticated gas optimization recommendations
- Integration: Better integration with development workflows
Integration Examples
CI/CD Integration
Development Workflow
Getting Started
- Create a Project: Set up a project in your team
- Upload Code: Create a code version with your smart contract code
- Run Initial Audit: Start with entire codebase scope
- Review Findings: Analyze security and gas findings
- Iterate: Address issues and run follow-up audits
Start Your First Audit
Create a project and run your first security audit