問題タブ [rewriting]

私の知る限り、静的バイナリ書き換えは次のとおりです。

静的バイナリ インストルメンテーションは、プログラムが実行される前、オブジェクト コードまたは実行可能コードを書き換える段階で発生します。(これはここで定義されています) だから、静的なバイナリ インストルメンテーションはバイナリの書き換えと同じ

だと思いました。 しかし、昨日私の教授は「静的バイナリ計測はバイナリ書き換えとは異なる」と言いました。 いくつかの論文や記事を検索しようとしましたが、なぜそれらが異なるのかはまだわかりません. 質問: これら 2 つの概念は異なりますか?







少しでも違いがあるとすれば、「静的バイナリ計測」と「バイナリ書き換え」の違いは何ですか？

この方法で動的フォルダーを作成しました。

ブラウザーが画像のルート フォルダーを参照するようにします。現在、example.com/user でそれらを探します

両方が同じパラメーターで使用されるときはいつでもmyeq、述語の下で書き換えたいパラメトリック関係があります。P適切な射を宣言するとうまくいきます:

ただし、関数を適用しようとすると、モーフィズムとして登録されていても機能しなくなりますmyeq。

何かを宣言するのを忘れましたか？