逆コンパイラCodeReverseを作る

課題２：アドレスからスタック状態集合への写像
課題３：コンパイラの種類を判定するコード
課題４：アセンブリ命令が何を参照し、何を変更するかの情報
課題５：データ型の管理方法

これらに関して知ってることがあれば俺に教えて下さい。