if/elseステートメントのみを含むプログラムの未読変数

Question

if/elseステートメントのみを持つプログラムを指定すると、どの変数が発生したのは決して読み取れることはありませんか？

Answer 1

はい。 if/else文のみを持つプログラムが与えられていると仮定すると、プログラムには有限数のパスが存在します。

各パスに到達するために条件を満たしていることを確認し、矛盾[アクセス不可能なパス]を見つけて、使用されない変数を見つけることができます。

Hoare logicの簡単なバージョンとして実装することができます。これは、ループなしで自動化するのが非常に簡単です。ブロック場合

Answer 2

[それを自動化することはもちろん不可能であるループに]あなたは、コードをこのようにトレースすることができる場合

if (assertion) 
{ 
    // print or echo or var_dump etc.. 
} 
else if(assertion) 
{ 
    // print or echo or var_dump etc.. 
} 
else if(assertion) 
{ 
    // print or echo or var_dump etc.. 
} 

のように、あなたが主張することができ、具体的にトレース、またはデバッグ文を置くことができブロック内の任意の変数またはコードが実行/読み込まれます。