第十九届“挑战杯”全国大学生课外学术科技作品竞赛
2025
省赛
课外学术科技作品竞赛(主体赛)
特等奖
未转化
否
数字经济战略推动下,TON区块链实现快速扩张,但因其异步架构等特性也导致传统检测工具完全失效,研究近乎空白。对此团队开展系统研究,首次完整定义12类TON缺陷,并研发全球首款专为TON设计的缺陷检测系统,创新采用三级中间表示转换技术,结合污点追踪与元胞结构解析方法,实现对非原子交易路径精准建模、异步消息反弹有效检测,准确率达97%,单合约分析217毫秒,揭示TON生态超94%智能合约存在安全风险。
暂无
暂未公开
暂未公开
暂未公开