Average Ratings 0 Ratings
Average Ratings 0 Ratings
Description
Echidna is a Haskell-based tool created for fuzzing and property-based testing of Ethereum smart contracts. It employs advanced grammar-driven fuzzing strategies that leverage a contract's ABI to challenge user-defined predicates or Solidity assertions. Designed with a focus on modularity, Echidna allows for easy extensions to incorporate new mutations or to target specific contracts under particular conditions. The tool generates inputs that are specifically adapted to your existing codebase, and it offers optional features for corpus collection, mutation, and coverage guidance to uncover more elusive bugs. It utilizes Slither to extract critical information prior to launching the fuzzing process, ensuring a more effective campaign. With source code integration, Echidna can pinpoint which lines of code are exercised during testing, and it provides an interactive terminal UI along with text-only or JSON output formats. Additionally, it includes automatic test case minimization for efficient triage and integrates seamlessly into the development workflow. The tool also reports maximum gas usage during fuzzing activities and supports complex contract initialization through Etheno and Truffle, enhancing its usability for developers. Ultimately, Echidna stands out as a robust solution for ensuring the reliability and security of Ethereum smart contracts.
Description
Every minute, a multitude of autonomously generated tests is executed to identify vulnerabilities and facilitate swift remediation. Mayhem eliminates uncertainty surrounding untested code by autonomously creating test suites that yield practical outcomes. There is no requirement to recompile the code, as Mayhem operates seamlessly with dockerized images. Its self-learning machine learning technology continuously executes thousands of tests each second, searching for crashes and defects, allowing developers to concentrate on enhancing features. Background continuous testing detects new defects and expands code coverage effectively. For each defect identified, Mayhem provides a detailed reproduction and backtrace, prioritizing them according to your risk assessment. Users can view all results, organized and prioritized based on immediate needs for fixes. Mayhem integrates effortlessly into your existing development tools and build pipeline, granting developers access to actionable insights regardless of the programming language or tools utilized by the team. This adaptability ensures that teams can maintain their workflow without disruption while enhancing their code quality.
API Access
Has API
API Access
Has API
Integrations
Docker
GitHub
Android
Azure DevOps
C++
Cargo
CircleCI
Etheno
Fortran
Go
Integrations
Docker
GitHub
Android
Azure DevOps
C++
Cargo
CircleCI
Etheno
Fortran
Go
Pricing Details
Free
Free Trial
Free Version
Pricing Details
No price information available.
Free Trial
Free Version
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Vendor Details
Company Name
Crytic
Website
github.com/crytic/echidna
Vendor Details
Company Name
Mayhem
Website
www.mayhem.security/mayhem-code-security