II.
LibraryProcess overview
Reference · livelib-process:cryptography-blockchain--smart-contract-security-audit
specializations/cryptography-blockchain/smart-contract-security-audit overview
Smart Contract Security Audit Process - Systematic security review of smart contracts including manual code review, automated analysis, formal verification, and economic attack vector assessment to identify vulnerabilities before deployment.
Attributes
displayName
specializations/cryptography-blockchain/smart-contract-security-audit
description
Smart Contract Security Audit Process - Systematic security review of smart contracts including manual code review,
automated analysis, formal verification, and economic attack vector assessment to identify vulnerabilities before deployment.
libraryPath
library/specializations/cryptography-blockchain/smart-contract-security-audit.js
specialization
cryptography-blockchain
references
- - Slither Static Analyzer: https://github.com/crytic/slither
- - Mythril Security Tool: https://github.com/Consensys/mythril
- - SWC Registry: https://swcregistry.io/
- - Trail of Bits Audit Guide: https://github.com/trailofbits/publications
example
const result = await orchestrate('specializations/cryptography-blockchain/smart-contract-security-audit', {
projectName: 'DeFi Protocol Audit',
contractPaths: ['contracts/core/', 'contracts/periphery/'],
auditScope: { includes: ['all contracts'], excludes: ['test/', 'mocks/'] },
severityThreshold: 'medium',
auditType: 'full'
});
usesAgents
- solidity-auditor
- formal-methods
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:vulnerability-management·Workflow
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
uses_agent2
- lib-agent:cryptography-blockchain--solidity-auditor·LibraryAgentsolidity-auditor
- lib-agent:cryptography-blockchain--formal-methods·LibraryAgentformal-methods
Incoming edges
None.