1

Soot でデータ フロー解析を実行したいと考えています。しかし、私の分析の性質は、Forward 分析を 1 回繰り返し、次に Forward 分析で計算されたデータフロー値を使用して Backward 分析を 1 回実行することです。これらの 2 回の反復は、私の分析手法の 1 回の反復になります。

フォワード、バックワード、およびフォワードブランチ フロー解析のみを提供するので、これは Soot で可能ですか?

そうでない場合は、Soot フレームワークでどのような変更を行う必要がありますか。JAVA でのデータフロー分析に使用できるツールが他にある場合は、誰か教えてください。

前もって感謝します、

マンダー

4

1 に答える 1

1

はい、それは完全に可能です。このような分析がどのように実装されるかについては、Boomerang に関する私たちの論文を参照してください: http://www.bodden.de/research/publications/

FlowDroid も同様の実装方法を使用しており、オンラインで入手できます: https://blogs.uni-paderborn.de/sse/tools/flowdroid/

于 2016-07-06T09:15:30.423 に答える