質問:
動的解析中のSSA（単一静的割り当て）の使用
user1004985
2015-04-17 07:33:34 UTC
view on stackexchange narkive permalink

動的計測はPINやValgrindなどのツールを使用して実行できることを読みました。ただし、Valgrindは中間表現を提供し、バイナリをSSAに変換するため、バイナリ分析の実行がより便利になります。 SSAフォームを使用する方が便利な理由を誰かに説明してもらえますか。中間表現なしでPINを使用して動的分析を実行するのが難しいのはなぜですか？

ありがとうございます

1 回答:
yaspr
2015-04-17 15:23:40 UTC
view on stackexchange narkive permalink

この質問に答えるには、提供されているものよりもはるかに多くのスペースが必要になります。 SSA の要件を深く理解するために、見つけることができる最良のリファレンスを紹介します。

まず、ウィキペディアから始めてください。 SSA の基本構造と構成要素（ファイ関数など）に慣れてください。次に、1991年に公開されたこのリファレンス記事に移動します。これは、ウィキペディアの記事よりも少し毛深いものです。

不完全ではありますが、より詳細なドキュメントが必要な場合は、この本をお読みください。
建設/破壊および分析のための幅広いアルゴリズムを網羅しています。

長く詳細な回答が必要な場合は、適切な回答を作成できるようにお知らせください。

参考までに@yasprに感謝します、私はそれらを調べて読みます。また、中間表現なしで動的汚染分析を行うことの短所について言及できれば、私は大いに役立ちます。


ⓘ
このQ＆Aは英語から自動的に翻訳されました。オリジナルのコンテンツはstackexchangeで入手できます。これは、配布されているcc by-sa 3.0ライセンスに感謝します。
Loading...