1
メソッドを介して制御フローパスを列挙し、整数変数の範囲制約を計算できるオープンソースのJava解析ツールはありますか?この質問をトリガー制御フロー列挙型のJavaパーサー
--edit(土-ソルバーは同様に素晴らしいことです)。
これはthe commercial version of the toolです。
私の質問は - 最も近いオープンソースは何ですか?
メソッドを介して制御フローパスを列挙し、整数変数の範囲制約を計算できるオープンソースのJava解析ツールはありますか?この質問をトリガー制御フロー列挙型のJavaパーサー
--edit(土-ソルバーは同様に素晴らしいことです)。
これはthe commercial version of the toolです。
私の質問は - 最も近いオープンソースは何ですか?
ご質問の内容に近い数値は、Java Symbolic PathFinderです。サイトから:
シンボリックパスファインダ
をシミュレーション環境に統合されて、そこにネイティブJava SATソルバーです:sat4j
私は知らないが、 Googleのキーワードは抽象解釈の整数間隔*です。 – aioobe