技术研究课题 | 智能合约功能性漏洞检测技术研究

2025-01-16

分析智能合约中常见功能性漏洞的类别、行为和特征,开展对海量智能合约源代码中功能性漏洞特征的快速识别技术研究;构建智能合约功能性漏洞检测不变式自动生成模型,并建立可验证此类不变式的动态验证模型。