界: Code Quality

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

Code Correctness: Failing Assertion

Solidity

Abstract

関数は assert Solidity 関数を使用して、false ステートメントをチェックしています。

Explanation

assert Solidity 関数は、true に評価するステートメントをチェックすることのみを目的としています。false ステートメントがこの関数に渡されると、正しく機能していないコードや、入力の検証などのために誤用されている関数が示されます。

例 1: 次のコードは、assert 関数を使用して、false ステートメントをチェックします。


contract A {
    B b = new B(7);

    function checkWithAssert(){
        assert(b.retValue() == 21);
        ...
    }

}

contract B {
    uint _par;
    constructor(uint par){
        _par = par;
    }

    function retValue() returns(uint){
        return _par;
    }
}

References

[1] Enterprise Ethereum Alliance No failing assert statements

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

[3] Standards Mapping - CIS Amazon Elastic Kubernetes Service Benchmark 5

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

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

[6] Standards Mapping - Common Weakness Enumeration CWE ID 670

[7] Standards Mapping - Smart Contract Weakness Classification SWC-110

desc.structural.solidity.swc110