首页> 外文OA文献 >How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

【2h】

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

机译：智能合同分析工具有多效益？评估智能合同静态分析工具使用Bug注入

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Asem Ghaleb; Karthik Pattabiraman;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. NeuCheck: A more practical Ethereum smart contract security analysis tool [J] . Lu Ning, Wang Bin, Zhang Yongxin, Software, practice & experience . 2021,第10期

机译：Neucheck：更实用的Etereum Smart合同安全分析工具
2. SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis [J] . Na-Yeon Bak, Byeong-Mo Chang, Kwanghoon Choi Software, IET . 2020,第4期

机译：SmartVisual：使用静态分析的Smarthings IoS应用程序的可视化工具
3. Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts [J] . Santos Reis Jo?o, Paul Crocker, Melo de Sousa Sim?o OASIcs : OpenAccess Series in Informatics . 2020,第2期

机译：Tezla，迈克尔森智能合约静态分析的中间代表
4. Foundations and Tools for the Static Analysis of Ethereum Smart Contracts [C] . Ilya Grishchenko, Matteo Maffei, Clara Schneidewind Federated logic conference;International conference on computer aided verification . 2018

机译：以太坊智能合约静态分析的基础和工具
5. A Leader's Evaluation and Analysis Development (LEAD) Tool: A statistical analysis of variables that measure progress toward staffing every classroom with an effective teacher in the Los Angeles Unified School District. [D] . Avila, Justo. 2016

机译：领导者评估和分析开发（LEAD）工具：对变量的统计分析，这些变量用于衡量在洛杉矶联合学区配备一名有效老师时每个教室配备人员的进度。
6. An Analysis of Smart Contracts Security Threats Alongside Existing Solutions [O] . Antonio López Vivar, Alberto Turégano Castedo, Ana Lucila Sandoval Orozco, 2020

机译：智能合同安全威胁与现有解决方案分析
7. Foundations and Tools for the Static Analysis of Ethereum Smart Contracts [O] . Ilya Grishchenko, Matteo Maffei, Clara Schneidewind 2018

机译：Ethereum Smart合同静态分析的基础和工具

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

著录项

引文网络

相似文献

相关主题

期刊订阅