SofCheckインスペクタは、Javaバイトコード内のエラーを発見静的解析ツールです。これは、実行時エラーが発生する可能性がある場所を特定するために、静的な制御フロー、データフロー、および可能な値設定の伝播（PVP）技術を使用しています。この自動化されたソフトウェアの品質技術は、100％のパスカバレッジを提供し、実行時間の前に、欠陥が非常に初期のソフトウェアのライフサイクルにおける特定され、排除されることを可能にします。インスペクタは、Javaコードの動作を特徴付けるし、ホワイトボックスコード検査のた...