java - 迅速な型分析と変数型分析のための定義済みアルゴリズム

Question

Java ソースファイルに対してプログラム解析を実行しようとしています。変数の型分析と迅速な型分析を実行するための事前定義されたアルゴリズムはありますか?

Answer 1

すすは、Java の分析フレームワークです。

「Java プログラム分析のための Soot フレームワーク: ふりかえり」では、Spark モジュールがあなたが行っていることに関連している可能性があると述べています。

Spark は、クラス階層分析や高速型分析など、さまざまなコール グラフ作成方法を実装しています。ただし、最も効果的なコール グラフ構築方法は、オンザフライで進行し、到達可能な集合の初期近似として CHA コール グラフから開始して、ポイント ツー セットを計算すると同時にコール グラフを構築することがわかりました。メソッド。