界: Code Quality

コードの質が低いと、予測できない動作につながります。ユーザーの視点には、それがしばしば使い勝手の悪さとなって現れます。攻撃者にとっては、予期せぬ方法でシステムにストレスを与える機会となります。

Poor Style: Variable Never Used

C/C++
Solidity

Abstract

この変数は一度も使用されません。

Explanation

この変数は一度も使用されません。変数は単に痕跡として残っているだけですが、使用されていない変数がバグを指摘している可能性もあります。

例: 次のコードでは、コピーアンドペーストのエラーによって、2 回使用されている同じループの繰り返し (i) が引き起こされています。変数 j は一度も使用されません。


  int i,j;

  for (i=0; i < outer; i++) {
    for (i=0; i < inner; i++) {
      ...

References

[1] Standards Mapping - CIS Azure Kubernetes Service Benchmark 1

[2] Standards Mapping - CIS Amazon Elastic Kubernetes Service Benchmark 4

[3] Standards Mapping - CIS Amazon Web Services Foundations Benchmark 1

[4] Standards Mapping - CIS Google Kubernetes Engine Benchmark normal

[5] Standards Mapping - Common Weakness Enumeration CWE ID 563

[6] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C++ Guidelines 2008 Rule 0-1-3

[7] Standards Mapping - Security Technical Implementation Guide Version 3.1 APP3050 CAT II

[8] Standards Mapping - Security Technical Implementation Guide Version 3.4 APP3050 CAT II

[9] Standards Mapping - Security Technical Implementation Guide Version 3.5 APP3050 CAT II

[10] Standards Mapping - Security Technical Implementation Guide Version 3.6 APP3050 CAT II

[11] Standards Mapping - Security Technical Implementation Guide Version 3.7 APP3050 CAT II

[12] Standards Mapping - Security Technical Implementation Guide Version 3.9 APP3050 CAT II

[13] Standards Mapping - Security Technical Implementation Guide Version 3.10 APP3050 CAT II

[14] Standards Mapping - Smart Contract Weakness Classification SWC-131

desc.structural.cpp.poor_style_variable_never_used

Abstract

コントラクトは変数を定義していますが、それをまったく使用しません。

Explanation

Solidity では、変数を宣言したまま使用しないことを許可しています。ほとんどの場合、これはセキュリティ上の脆弱性を直接示すものではありませんが、良くない習慣です。必要な計算サイクルが増えるため、ノイズや不要なガス消費が発生する可能性があります。

例 1: 次のコードは、型 A の変数 var1 を宣言していますが、まったく使用しません。


contract Base {
    struct A { uint a; }
}

contract DerivedA is Base {
    A var1 = A(1);
    int internal j = 500;

    function call(int a) public {
        assign1(a);
    }

    function assign3(A memory x) public returns (uint) {
        return g[1] + x.a + uint(j);
    }
}