掌御信息申请基于智能合约模拟执行的跨合约地址验证专利，提高跨链智能合约的漏洞检测范围和准确性

金融界2025年3月28日消息，国家知识产权局信息显示，南京掌御信息科技有限公司申请一项名为“一种基于智能合约模拟执行的跨合约地址验证方法及系统”的专利，公开号 CN 119691748 A，申请日期为2024年12月。

专利摘要显示，本发明提出了一种基于智能合约模拟执行的跨合约地址验证方法及系统，旨在解决跨链智能合约中的特定安全漏洞检测问题。所提出的方法通过代码预处理、访问控制约束识别、跨链控制流和数据流图对齐分析，结合动态污点追踪和模拟执行，检测跨链智能合约中的潜在安全漏洞，确保合约的安全性。基于所提出的方法，实现了一套由跨链合约代码预处理单元、访问控制约束类节点识别单元、跨链控制流和数据流图分析单元、跨链污点追踪单元和模拟执行漏洞验证单元组成的系统。该发明提高了跨链智能合约的漏洞检测范围和准确性，适用于多区块链环境中的智能合约安全审计。

天眼查资料显示，南京掌御信息科技有限公司，成立于2020年，位于南京市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本4500万人民币。通过天眼查大数据分析，南京掌御信息科技有限公司共对外投资了2家企业，参与招投标项目6次，专利信息13条，此外企业还拥有行政许可6个。

来源：金融界