계: Code Quality

코드 품질이 낮으면 예측할 수 없는 동작이 발생합니다. 사용자 입장에서는 사용 편의성이 떨어지는 것으로 나타나는 경우가 많습니다. 공격자에게는 예상치 못한 방법으로 시스템에 부담을 줄 수 있는 기회가 됩니다.

Dead Code

C/C++
Solidity

Abstract

이 문은 결코 실행되지 않습니다.

Explanation

주변의 코드가 이 문의 실행을 불가능하게 합니다.

예제 1: 두 번째 if 문에 대한 조건을 만족할 수 없습니다. s에 null이 아닌 값을 지정할 수 있는 경로에서만, return 문이 있는 동안 s가 null이 아닌 값이어야 합니다.


String s = null;

if (b) {
   s = "Yes";
   return;
}

if (s != null) {
   Dead();
}

References

[1] Standards Mapping - Common Weakness Enumeration CWE ID 561

[2] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C Guidelines 2012 Rule 2.1

[3] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C Guidelines 2023 Rule 2.1

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

[5] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C++ Guidelines 2023 Rule 0.0.1, Rule 0.0.2

[6] Standards Mapping - OWASP Application Security Verification Standard 4.0 5.1.1 Input Validation Requirements (L1 L2 L3), 8.1.3 General Data Protection (L2 L3)

[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-135

desc.internal.cpp.dead_code