|
MINIXの解析
作成者 sumida
最終変更日時
2006年07月28日 19時50分
Sapidを使ったMINIXの解析方法
- この辺からソース(2.0.4.tgz)をダウンロードする.
- 2.0.4.tgzを解凍する,これ以降,解凍して出来るディレクトを<MINIX_TOP>と呼ぶ.
- <MINIX_TOP>に移動して patchを当てる.
- Sapid用の環境変数SPD_DEF_ANSI_AFTERとSPD_DEF_AFTERを-I<MINIX_TOP>/includeに変える.
- <MINIX_TOP>/src/へ移動
- make all を行う. (これで各ディレクトにSDBが出来る)
- make spie を行う. (これでSPIEによる解析が行われる)
- make clean でSDBとSPIEの出力が消去される.
|