ホワット・ア・ワンダフル・ワールド C 言語のための現実的なポインタ解析C 言語にフォーマルセマンティクス (操作的意味論) を与えたとかいう論文 An abstract dynamic semantics for C (1997) を，いきなり読むのは厳しそうだったので，そもそも dynamic semantics ってなんじゃい ！ とテキトーに検索してみたら． C 言語のための現実的なポインタ解析 という日本語の論文が見つかったので (直接的にはあんまり関係ないけど) ちょっと読んでみた．あんまりちゃんとは読んでないけど… ポインタが，どこのメモリ領域を指すか，みたいな解析には抽象実行というテクニックを使うのが普通らしい． Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of
