25、Solidity智能合约漏洞定位与受限物联网设备在区块链农业食品溯源应用中的研究

Solidity智能合约漏洞定位与受限物联网设备在区块链农业食品溯源应用中的研究

1. Solidity智能合约漏洞分析

在智能合约的安全性研究中，对Solidity智能合约漏洞的定位分析至关重要。

1.1 试点集分析与数据集比较

通过统计静态分析工具（SATs）在合约中发现的阳性结果数量总和，我们发现参考集和试点集中阳性结果的分布具有相似性。参考集中65%的合约（试点集中为55%）包含0到50个阳性结果；参考集中20%的合约（试点集中为33%）包含51到100个阳性结果；参考集中剩余15%的合约（试点集中为12%）有超过100个阳性结果。

聚焦试点集，我们首先确定每个漏洞类别的真实情况（GT），然后计算覆盖率，即检测到的漏洞（TP）占所有漏洞（TP + FN）的百分比。以下是各工具的分析结果：
|工具|TP|FP|覆盖率|
| ---- | ---- | ---- | ---- |
|Securify2 (Sfy2)|320|241|0.67|
|Securify (Sfy)|40|88|0.08|
|Slither (Sli)|229|16|0.48|
|SmartCheck (SmC)|182|50|0.38|
|Remix (Rmx)|43|7|0.09|
|Mythril (Myt)|27|18|0.06|
|Oyente (Oye)|6|4|0.01|
|Osiris (Osi)|8|8|0.02|

从这些数据中我们可以观察到：Mythril能完全覆盖CWE - 330和CWE - 669；Securify2能完全覆盖CWE