到達不能コードの存在は、プログラムの修正時の論理的誤りや、プログラムの前提や環境が大幅に変更されたことを示す場合もある。到達不能コードの存在を許容する言語もあれば、許容しない言語もあるが、前者であっても優れたコンパイラはデッドコードの存在を通知し、保守者がその意味を考えられるようにする。なお、到達不能コードを許容する言語であっても、ほとんどのコンパイラは、決して実行されることのないコードは最適化の際に除去してしまうため、最終的にリリース用に生成される機械語には痕跡も残らない。
到達不能性の検証.
任意のコードが到達不能コードかどうかを判断することは停止性問題を解くことと等価である。すなわち、あらゆる到達不能コードを正しく把握することは不可能である。
到達不能性とプロファイリング.
脆弱性と到達不能性.
 
 
デッドコード
解説.
ストーリー.
リーキーバケット
なお、バケット (bucket) とは、バケツのことであり、転送すべきネットワークトラフィックを集積する抽象化されたコンテナである（実装は例えばバッファやキュー）。
トラフィックシェーピングのアルゴリズム.
原理.
リーキーバケットはネットワークに送信するトラフィックに対して、その転送レートを制御する。名前の通り、穴の開いたバケツに相当し、様々な流量の水流がそのバケツに流れ込むと、そこまでの流量がどうであっても小さな穴からは一定の水流が流れ出す。同様にリーキーバケット・アルゴリズムは様々なバースト性のトラフィックを一定のトラフィックに変換する機構を提供する。
リーキーバケット・アルゴリズム.
アルゴリズムを概念的に説明すると、次のようになる。
道路交通との対比.
実装の非効率性.
リーキーバケットは、利用可能なネットワークリソースを効率的に利用していない。バケットから流出するレートは固定なので、トラフィックが少ない状態でもネットワークリソース（帯域幅など）を有効利用できない。従って、リーキーバケットだけではリソースに余裕がある場合に個別のフローをバースト的に転送するといった融通が利かない。一方、トークンバケットはバースト性のあるトラフィックを許容する。リーキーバケットとトークンバケットを両方実装することで、ネットワークへのトラフィックを効率的に制御できる。
トークンバケット