書式文字列攻撃 とは？

例えば printf(input) のinputを外部から指定できると、入力に含まれる書式指定が解釈されるよ。本来は表示したいデータなのに、関数への指示として扱われるのが問題。条件によって、情報漏えいやメモリの書き換え、クラッシュなどにつながるんだ

通常のprintfでは、%xは対応する整数を16進数で、%sは対応するポインターが指す文字列を表示するよ。必要な引数を渡さずに入力を書式として解釈させるのは正常な使い方ではない。「%xを並べれば、必ず全ての秘密が読み出せる」という決まった結果ではないんだ

%nは表示するための指定ではなく、それまでに出力した文字数を、対応するポインターが指す整数へ書き込む指定だよ。信頼できない書式を解釈すると、書き込みにつながる場合がある。ただ入力に%nを含めれば、どの環境でも好きな場所へ好きな値を書けるという意味ではないんだ

文字列を表示するなら、例えば printf("%s", input) として書式を固定し、inputをデータの引数にするよ。この場合、入力の中にある%xなどは文字列として出力される。これは書式文字列の問題への修正で、inputが有効な文字列であることなど、他の条件まで自動的に満たすわけではないんだ

fprintfや、POSIXのsyslogなど、書式を解釈する他の関数も確認しよう。入力から組み立てたメッセージを、後で再び書式として渡す経路にも注意が必要だよ。コンパイラーの警告や静的解析も役立つけれど、見つかる範囲は設定や道具に左右されるんだ