AUDITOR GUIDED SECURITY SCAN
Initial Assessment
Assess smart contract development environment
Guided Vulnerability Scan
Perform deep custom automated analysis on smart contract.
Detect generic security issues and best practice violations in the source code, and provide manual review by security auditor to eliminate spurious results.
Delivery
Generate findings in a comprehensive report.
CUSTOM VERIFICATION SERVICE
Analysis planning
Assess smart contract business logic and agree key properties to test.
Analysis Services
Create custom property validation tests.
Run a deep fuzzing campaign to increase analysis coverage and reduce residual risk.
Delivery
Generate findings in a comprehensive report.
CONTINUOUS VERIFICATION
Solution Architecture
Monitor changes automatically.
Technology Integration
Integrate into your development environment to perform continuous analysis on any code changes.
Delivery
Detect security issues shown within the source code along with transactions traces, results are viewable on the MythX Dashboard.
RETAINER FOR CUSTOM SUPPORT
Custom Support
Maintain client profile, smart contract development environment with executable specs.
Maintenance services
Maintain CI pipeline integration.
Maintain executable wrapper contracts containing assertions.
Maintain “Actor” contracts used to establish a seed states and functional scope for Mythril and Harvey
Maintain IDE scripts to set up initial states for verification.
Delivery
Dedicated MythX development support.
