HCS08アセンブラ CFG Visualizer 試作品

このページでは，HCS08 アセンブリ言語で書かれたプログラムの制御フローグラフ（Control-Flow Graph; CFG）を抽出し，可視化する機能を CGI として提供しています．

初めて使用される場合は，まず，本ページ下部の「使用上の注意」をよく読んでください．

使い方：アセンブラのソースコードを下の領域に貼り付けて，ボタンを押してください．ツールの出力は SVG 形式です（サンプルプログラムとその可視化結果）．ブラウザによって対応状況は異なりますが， CTRL + "+" や CTRL + "-" で拡大・縮小して閲覧することができます．

使用上の注意

本ツールは，本学基礎工学部の授業科目のために試作したものです．授業で使用しているアセンブラの仕様に依存して作成しています．
簡単な字句解析のみを使用して実装しているため，アセンブル時にエラーが発生するようなソースコードが入力された場合は，正しくない（意味のない）結果を返す可能性があります．
投稿されたソースコードを，本ツールのデバッグのために，サーバ上に記録する場合があります．
本ツールで実装している制御フロー解析には，いくつかの制限があります．
- メモリアドレスのレイアウトを解析しません．ラベルおよび ORG命令によって明示的に宣言されているアドレスを指定した分岐命令だけが，制御フローとして認識されます．アドレスを直接指定してのジャンプは，制御フローとして認識されません．
- 本ツールはスタックの内容に関する解析を行いません．そのため，RTS命令によるサブルーチンからの戻り先命令の特定を行いません．
- JMP命令，JSR命令におけるインデクスレジスタの使用には対応していません．
- 割り込みハンドラに所属する命令が特定できた場合，行番号を赤色で着色して出力しますが，割り込みの発生および割り込みからの復帰に関する制御フローは表示しません．
- 条件分岐先の命令が動的に変わるものについては， "Dynamic Jump" 頂点として表現します．条件分岐が動的に変わる命令が１つもなくても，"Dynamic Jump" は表示されます．
- 命令のブロックは，プログラムの先頭の命令，条件分岐の合流点，無条件ジャンプの次の命令が先頭になっています．条件分岐命令ごとにブロックを区切っていないので，基本ブロックの概念とは対応しません．
外部組織に所属する人であっても，負荷が大きくならない限りは，利用を妨げることはありません．