II.
LibraryProcess overview
Reference · livelib-process:security-research--smart-contract-auditing
smart-contract-auditing overview
Security audit of blockchain smart contracts on Ethereum, Solana, and other platforms. Covers common vulnerability patterns, static analysis, symbolic execution, and formal verification using Slither, Mythril, and manual review techniques.
Attributes
displayName
smart-contract-auditing
description
Security audit of blockchain smart contracts on Ethereum, Solana, and other platforms.
Covers common vulnerability patterns, static analysis, symbolic execution, and formal verification
using Slither, Mythril, and manual review techniques.
libraryPath
library/specializations/security-research/smart-contract-auditing.js
specialization
security-research
references
- - Slither: https://github.com/crytic/slither - Mythril: https://github.com/ConsenSys/mythril - SWC Registry: https://swcregistry.io/
example
const result = await orchestrate('specializations/security-research/smart-contract-auditing', {
projectName: 'DeFi Protocol Audit',
contractPath: '/path/to/contracts',
blockchain: 'ethereum'
});
usesAgents
- smart-contract-auditor
- security-report-writer
Outgoing edges
lib_applies_to_domain1
- domain:cybersecurity·DomainCybersecurity
lib_belongs_to_specialization1
- specialization:security-research·Specialization
lib_implements_workflow1
- workflow:vulnerability-management·Workflow
uses_agent2
- lib-agent:security-research--smart-contract-auditor·LibraryAgentSmart Contract Auditor Agent
- lib-agent:security-research--security-report-writer·LibraryAgentSecurity Report Writer Agent
Incoming edges
None.