実行ファイルってそこから元のソースファイルを読むのって不可能ですよね？
つまり、
{
int a=100;
printf("AHAHA");
return 0;
}
の場合 「a」　の存在は作成者しか知りえませんよね？