前端开发
状态不变检测
@state-invariant-detection
自动推断状态变量之间的数学关系，然后找到打破这些关系的函数。捕获最具破坏性的 DeFi 漏洞：未经授权的铸币、破坏的代币经济、会计差异和状态不同步。
包含技能
1 个状态不变检测
@quillai-network/qs_skills/state-invariant-detection
自动推断状态变量之间的数学关系，然后找到打破这些关系的函数。捕获最具破坏性的 DeFi 漏洞：未经授权的铸币、破坏的代币经济、会计差异和状态不同步。