II.
LibraryProcess overview
Reference · livelib-process:cryptography-blockchain--smart-contract-fuzzing
specializations/cryptography-blockchain/smart-contract-fuzzing overview
Smart Contract Fuzzing - Fuzzing smart contracts using tools like Echidna and Foundry for property-based testing and vulnerability discovery.
Attributes
displayName
specializations/cryptography-blockchain/smart-contract-fuzzing
description
Smart Contract Fuzzing - Fuzzing smart contracts using tools like Echidna and Foundry for property-based
testing and vulnerability discovery.
libraryPath
library/specializations/cryptography-blockchain/smart-contract-fuzzing.js
specialization
cryptography-blockchain
references
- - Echidna: https://github.com/crytic/echidna
- - Foundry Fuzzing: https://book.getfoundry.sh/forge/fuzz-testing
example
const result = await orchestrate('specializations/cryptography-blockchain/smart-contract-fuzzing', {
projectName: 'DeFi Protocol Fuzzing',
contracts: ['Token.sol', 'Vault.sol', 'Strategy.sol'],
fuzzingTool: 'echidna',
duration: 86400
});
usesAgents
- property-engineer
- harness-engineer
- corpus-engineer
- fuzzer-operator
- coverage-analyst
- vuln-analyst
- repro-engineer
- report-generator
Outgoing edges
lib_applies_to_domain1
- domain:security·DomainSecurity
lib_belongs_to_specialization1
- specialization:cryptography-blockchain·Specialization
lib_covers_topic2
- topic:hmac-signing·TopicHMAC Signing
- topic:ssl-certs·TopicSSL/TLS Certificates
lib_implements_workflow1
- workflow:contract-lifecycle·WorkflowContract Lifecycle
lib_involves_role1
- role:security-engineer·RoleSecurity Engineer
lib_requires_skill_area3
- skill-area:symmetric-encryption·SkillAreaSymmetric Encryption
- skill-area:asymmetric-encryption·SkillAreaAsymmetric Encryption
- skill-area:smart-contract-development-testing·SkillAreaSmart Contract Development and Testing
Incoming edges
None.