cコンパイラでコンパイルしたオブジェクトコードがソースコードに対応していることを確認する方法はないでしょうか?
追記
多くの回答を頂きありがとうございます。環境はMac上でiOS開発です。
cコンパイラでコンパイルしたオブジェクトコードがソースコードに対応していることを確認する方法はないでしょうか?
多くの回答を頂きありがとうございます。環境はMac上でiOS開発です。
RCSやCVSなどの古めのソース管理システムですと、キーワード置換と言ってソースコード中に$Id$
のようなキーワードを記述すると、コミット時に
$Id: samp.c,v 1.5 1993/10/19 14:57:32 ceder Exp $
のような文字列に置換してくれる機能があります。これを使用してソースコード中に
const char id[] = "$Id: samp.c,v 1.5 1993/10/19 14:57:32 ceder Exp $";
等の記述をすれば自動的にオブジェクトコードにも同一の文字列が埋め込まれることになります。この方法でソースコードとオブジェクトコードの対応を確認していた時代もあります。
Visual Studioでは、オブジェクトファイル内のデバッグ情報内にソースコードのチェックサムを保持しているため、デバッガーなどはオブジェクトコード、デバッグ情報とソースコードとが一致しているかを確認しています。コンパイルオプション/ZH
でハッシュアルゴリズムを選択できることからもこの様子を覗い知ることができます。
短い答え:「一致している」を定義してから始めましょう。
長い答え:こういうのは要件っつか要求次第で違います。とりあえず、元オブジェクトファイルを作ったときと同一開発環境(同一コンパイラ・同一ヘッダ)があって Makefile
等によりコンパイルオプションが既知である前提であるとします(無いと不可能なので)
当該ソースコードを以前と同一のコンパイラ・ヘッダ・コンパイルオプションでコンパイルしたなら、まあ普通には全く同一のオブジェクトファイルができそうな気がします。そして実際、オブジェクトファイルの内容を比較して同一のものが生成される環境もあります。が、例外として次のような状況が考えられます。
__DATE__
や __TIME__
はコンパイル時刻を出力するので毎回異なるtmpfile()
等で作られたアセンブラ一時ファイル名を埋め込むことがあるなのでオブジェクトファイルのバイト内容の物理的一致で判断すると誤ることがあります。よってなにがどう一致していたら良いかは事前に定義しておく必要があります。
逆アセンブルした内容が一致する、というのは良いアイデアですが微妙に冗長かも。
gcc の make compare
は stageN オブジェクトの一致性比較を事前に自己調査しています。ウチの hppa2.0w-hp-hpux11.11
では cmp --ignore-initial=16
でヘッダ部をスキップしたファイル内容で行っている様子。
Visual C++ はコンパイル時タイムスタンプを埋め込む (2.) のでこれを除外する必要があります。
などなど、事前に情報収集の上、仕様を決めておく必要があります。
そのオブジェクトをコンパイルしたのと同じコンパイル環境があるのであれば、再コンパイルしてオブジェクトの diff を見てみればいいと思います。同じソースコード・環境でコンパイルされたものであればファイルの内容は完全に一致します。
条件をそろえないと判定は難しそうです。
オブジェクトファイルの比較には、cmp
も使えます。
cmp -s 比較対照オブジェクトファイル 比較用にコンパイルしたオブジェクトファイル
echo $?
※bashで実行した場合
比較には同じコンパイルオプションを使用する必要があります。
※-O
や-g
などオプションが変わればオブジェクトファイルの内容も変わる可能性が高いです。
同じコンパイラを使う必要があります。
gcc
とclang
で生成したオブジェクトファイルはサイズが違いました。
調査に使用したコマンド
clang version 9.0.0 (trunk 362692) (llvm/trunk 362690)
gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0
cmp (GNU diffutils) 3.6