制御フロー列挙型のJavaパーサー

Question

メソッドを介して制御フローパスを列挙し、整数変数の範囲制約を計算できるオープンソースのJava解析ツールはありますか？この質問をトリガー

This is the answer -

--edit（土-ソルバーは同様に素晴らしいことです）。

これはthe commercial version of the toolです。

私の質問は - 最も近いオープンソースは何ですか？

Answer 1

ご質問の内容に近い数値は、Java Symbolic PathFinderです。サイトから：

シンボリックパスファインダ

• は、Javaのシンボリック実行は、マルチスレッド、前提条件、文字列（オンゴーイング仕事）、複雑な数学の制約、データ構造と配列を処理し
• をバイトコード実行
• モデル（コード）
• ユーザ指定のカバレッジ（パス、ステートメント、ブランチ、MC/DCカバレッジなど）を保証するテストベクタとテストシーケンスを生成します。
• カバレッジを測定します。
• 、異なるカバレッジ基準
• の容易な符号化を可能にするようにエラー
• ためのチェックは、柔軟であり、テスト生成プロセスの間JUnitテスト、アンタレスシミュレーションスクリプト、等（出力を容易にカスタマイズすることができる）
• を生成（上-行く仕事）あなたの2番目の質問については

をシミュレーション環境に統合されて、そこにネイティブJava SATソルバーです：sat4j