II.
Workflow overview
Reference · liveworkflow:smart-contract-audit
Smart Contract Audit overview
Audits smart contract code for correctness, security vulnerabilities, gas optimization, and compliance — running static analysis, fuzzing, formal verification checks, and producing a findings report with severity ratings. Excludes contract development.
Attributes
displayName
Smart Contract Audit
workflowKind
security
triggerType
on-demand
typicalCadence
per-deployment
complexity
single-team
description
Audits smart contract code for correctness, security vulnerabilities,
gas optimization, and compliance — running static analysis, fuzzing,
formal verification checks, and producing a findings report with
severity ratings. Excludes contract development.
Outgoing edges
applies_to_domain2
- domain:cybersecurity·DomainCybersecurity
- domain:software-engineering·DomainSoftware Engineering
involves_role2
- role:security-reviewer·RoleSecurity Reviewer
- role:code-reviewer·RoleCode Reviewer
performed_by_org_unit2
- org-unit:security-team·OrgUnitSecurity Team
- org-unit:application-security-team·OrgUnitApplication Security Team
requires_skill_area1
- skill-area:typescript-generic-programming·SkillAreaTypeScript Generic Programming
triggers_responsibility2
- responsibility:security-review·ResponsibilitySecurity review
- responsibility:run-security-scans·ResponsibilityRun security scans
Incoming edges
follows_workflow1
- stack-profile:blockchain-dapp·StackProfileBlockchain DApp (Solidity + Hardhat + ethers.js + React + IPFS)
uses_workflow1
- domain:crypto-defi·DomainCrypto & DeFi