基于中间表示的智能合约漏洞检测工具推荐方法

张大龙

doi:10.11907/rjdk.241913

您当前的位置：

首页 >

文章列表页 >

基于中间表示的智能合约漏洞检测工具推荐方法

网络空间安全 | 更新时间：2025-05-21

- 基于中间表示的智能合约漏洞检测工具推荐方法
- A Recommendation Method for Smart Contract Vulnerability Detection Tools Based on Intermediate Representations
- “智能合约漏洞检测领域取得新进展，专家构建数据集并提出基于中间表示的检测工具推荐方法，有效提升漏洞检测准确率。”
- 软件导刊 2025年24卷第5期页码：163-171
- 作者机构：
  
  南京审计大学计算机学院，江苏南京 211815
- 作者简介：
  
  张大龙（2000-），男，CCF会员，南京审计大学计算机学院硕士研究生，研究方向为大数据审计、区块链审计。
- 基金信息：
  
  国家自然科学基金面上项目(71972102);江苏省高等学校自然科学研究重大项目(20KJA520002)
- DOI：10.11907/rjdk.241913
  中图分类号： TP391
- 收稿日期：2024-10-28，
  
  纸质出版日期：2025-05-15
- 稿件说明：
移动端阅览
张大龙.基于中间表示的智能合约漏洞检测工具推荐方法[J].软件导刊,2025,24(05):163-171.

ZHANG Dalong.A Recommendation Method for Smart Contract Vulnerability Detection Tools Based on Intermediate Representations[J].Software Guide,2025,24(05):163-171.
张大龙.基于中间表示的智能合约漏洞检测工具推荐方法[J].软件导刊,2025,24(05):163-171. DOI： 10.11907/rjdk.241913.

ZHANG Dalong.A Recommendation Method for Smart Contract Vulnerability Detection Tools Based on Intermediate Representations[J].Software Guide,2025,24(05):163-171. DOI： 10.11907/rjdk.241913.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于智能合约的无人机集群安全性研究

一种基于形式化验证的智能合约垄断行为检测方法

智能鹰眼警情分析系统设计与实现

基于BERT的中药材治疗胃病的命名实体识别

基于区块链技术的冷鲜牛肉溯源系统设计与实现

基于中间表示的智能合约漏洞检测工具推荐方法

A Recommendation Method for Smart Contract Vulnerability Detection Tools Based on Intermediate Representations

DOI：10.11907/rjdk.241913