pointers - llvm にシンボリック実行ツールはありますか?

Question

llvm IR でポイントツー分析を行いたいです。つまり、結果を印刷するときに、「5 月」のポイント先の条件を追加する必要があります。

この目標を達成するためにシンボリック実行を使用する予定です。

シンボリック方程式を解くための llvm またはスタンドアロン ツールにツールはありますか。

ありがとうございました！

Answer 1

開始するためのいくつかの指針:

1. Scalar Evolution LLVM モジュールは、基本的に算術式のシンボリック実行です (ループを考慮に入れます)。
2. Kleeは、LLVM IR の完全なシンボリック実行 VM です。