JxPlatform: Javaソースコード向け静的解析ツールプラットフォーム

このサイトでは，実験データについて掲載しています．

JxPlatform3 on GitHub

ログ出力

• #1(cache off / binary-analysis-on)
• exp-off-1
• exp-off-2
• #2(cache on / binary-analysis-on)
  • exp-on-1
  • exp-on-2
• #3(cache off / binary-analysis-off)
  • exp-off-off-1
  • exp-off-off-2

集計データ

• #1(cache off / binary-analysis-on)
  • jx3-cache-off-1.csv
  • jx3-cache-off-2.csv
• #2(cache on / binary-analysis-on)
  • jx3-cache-on-1.csv
  • jx3-cache-on-2.csv
• #3(cache off / binary-analysis-off)
  • jx3-binary-off-1.csv
  • jx3-binary-off-2.csv

実験結果

• JxPlatform3を利用した際の実行結果
  • jxplatform3.csv
  • jxplatform3-incremental.csv
• SimplePDGを利用した際の実行結果
  • simple.csv

実験用プログラム

• 解析実行用プログラム (jxplatform-3.0.25.jar)
• データ集計/出力用プログラム