SofCheck督察是一個靜態分析工具，發現錯誤的Java字節碼。它採用靜態控制流，數據流，以及可能的值設定傳播（PVP）技術，以查明可能發生運行時錯誤的地方。這種自動化的軟件質量技術提供了100％的路徑覆蓋，並允許缺陷被識別並消除在軟件生命週期的早期，在運行時之前。督察生成表徵的Java代碼的行為，並為白盒代碼檢查有用的前置條件和後置條件。它可以檢測競態條件，索引越界，溢出，除以零，死代碼，未使用的作業，考試總是一種方式，或拋出的異常。這是支持多達200班有45天的試用版。該產品包含一個版本的Sun的JR...