II.
LibrarySkill overview
Reference · livelib-skill:cryptography-blockchain--echidna-fuzzer
echidna-fuzzer overview
Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.
Attributes
displayName
echidna-fuzzer
description
Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.
libraryPath
library/specializations/cryptography-blockchain/skills/echidna-fuzzer/SKILL.md
specialization
cryptography-blockchain
contentSummary
# Echidna Fuzzing Skill
Property-based testing and fuzzing for smart contracts using Echidna, the premier smart contract fuzzer from Trail of Bits.
## Capabilities
- **Property Tests**: Write Echidna-compatible property tests
- **Configuration**: Customize fuzzing parameters
- **Invariant Testing
Outgoing edges
lib_applies_to_domain1
- domain:security·DomainSecurity
lib_belongs_to_specialization1
- specialization:cryptography-blockchain·Specialization
lib_involves_role2
- role:security-engineer·RoleSecurity Engineer
- role:qa-engineer·RoleQA Engineer
lib_requires_skill_area3
- skill-area:smart-contract-security·SkillAreaSmart Contract Security
- skill-area:smart-contract-development-testing·SkillAreaSmart Contract Development and Testing
- skill-area:application-security-testing·SkillAreaApplication Security Testing (SAST/DAST)
Incoming edges
None.