debug
デバッグに用いる実行ファイルが置かれている．
debug内のファイルの説明
lists
条件処理表を生成する際のコンパイル方法を指定するドキュメントファイルが置かれている．
lists内のファイルの説明
log
RExSTM初回実行時は空である．
エラー発生時にログファイルが生成される．
programs
RExSTMの動作のうち，Excel上で行う動作以外の動作（構文解析，条件処理表作成，状態遷移表作成）を行うためのPythonスクリプトが置かれている．
RExSTMの動作を変更する場合は，このディレクトリ内のファイルを変更すること。
programs内のファイルの説明
setup
ビルドに必要な実行ファイルが置かれている．
setup内のファイルの説明
TargetPrograms
RExSTM初回実行時は空である．
解析対象とするソースコードをこのディレクトリに置く．
temp
RExSTM初回実行時は空である．
状態遷移表を生成するための一時ファイルが生成される．
TSV_info
RExSTM初回実行時は空である．
状態遷移表を生成するための一時ファイルが生成される．
TSV_Result
RExSTM初回実行時は空である．
状態遷移表を生成するための一時ファイルが生成される．
RExSTMverX.Y.Z.xlsm
構文解析、条件処理表作成、状態遷移表作成をするマクロ付Excelファイル.
このファイルを開くことでRExSTMが起動する．
- analyze_programs
構文解析，条件処理表作成を行うスクリプトがまとめられている．
- add_else.py
条件式に状態変数を含む制御構文にelse句がない場合，無処理のelseを挿入する．
- add_mujoken_statement.py
Excel上でユーザが選択した状態変数を含む条件式のネストの外側に，「無条件」イベントで実行される処理がある場合，
それらの処理を，各状態における処理の前後に付加する．
（「無条件」イベントについてはinsert_mujoken.pyを参照）
- deletefunction.py
Excel上でユーザが選択した状態変数がローカル変数の場合，Cファイルにおいてその変数が定義される関数以外の記述部分を削除する．
- deltemp.bat
一時ファイルの削除を行う実行ファイル．
- exception_handling.py
ユーザが選択した状態変数を含む制御構文のネストの深さや，状態変数の取りうる値の種類が既定の値よりも大きい場合，警告・エラー文を生成する．
- getjotaivalue.py
与えられたCファイルにおいて，ユーザが選択した状態変数が取りうる値を全て取得する．
また，状態変数の更新が起こるときのイベントを全て取得する．
- insert_mujoken.py
Excel上でユーザが選択した状態変数の各状態における処理にイベントが存在しない場合，
「無条件」という名前のイベントを追加する．
- makestm.py
状態変数が含まれる条件式のネストの内側にある制御構文を，状態遷移表における処理として扱うようにする．
- python34.dll
senni.exeの実行時に必要なDLLファイル．
- senni.exe
senni.pyを変換して生成された実行ファイル．
- senni.py
状態遷移表作成を開始する．
programsフォルダ内のpythonスクリプトを呼び出す．
- setup.py
py2exe.batの実行のために必要な一時ファイル．
RExSTMの動作には直接影響しない．
- split_funcs.py
Excel上でユーザが選択したソースファイルの処理・条件式を関数ごとに分割する．
split_funcs.py以降のモジュールは分割された各関数における処理・条件式を対象に実行する．
- trans2celladds.py
各イベント・処理・状態変数名・状態変数の取りうる値それぞれにセル番地を割り当てて，状態遷移表のセル情報を作成する．
罫線の範囲と，着色の対象とするセル情報も作成する．
また，各関数におけるこれらのセル情報をすべて統合する．
- analyze.exe
analyze.pyを変換して生成された実行ファイル．
- analyze.py
構文解析，条件処理表作成を開始する．
programs/analyze_programs内のpythonスクリプトを呼び出す．
- c_reform.py
中括弧の位置を固定する．
プロトタイプ宣言を削除する．
- globaldelete.py
グローバル変数のためのダミー関数を作成する．
- indent.py
中括弧に応じてインデントのタブ文字を付与する．
- jokenshori.py
条件処理表を作成するためのセル情報（関数ごと）を出力する．
- jotaivar.py
pragma.pyで出力された解析済みCファイルから状態変数候補の変数を探し，変数名のリストを出力する．
- marking.py
if文で無処理のものを削除する．
条件式にマーキングする．
関数でif文および代入文を持たないものを削除する．
- mujoken.py
ネストの深さをチェックし，対象Cファイルにおける最大の深さに満たないネストに対して無条件if文の追加を行う．
- pragma.py
プリプロセス命令およびアセンブリ処理を削除する．
- preif.py
様々な表記のif文をc_reform.pyで定義したものと同じ表記に変換する．
- presw.py
switch文をif文に変換する．
- python34.dll
analyze.exeの実行時に必要なDLLファイル.
- ReportException.py
エラーメッセージを出力する．
- rule_jotaivar.py
jotaivar.pyで出力された状態変数候補リストに存在する変数のうち，その変数が使われるif文のブロック内で変数への代入が発生しない場合，
状態変数候補リストから削除する．
- setup.py
py2exe.batの実行のために必要な一時ファイル．
動作には直接影響しない．
- table.py
jokenshori.pyで出力された，条件処理表を作成するためのセル情報（関数ごと）を1つに統合する．
条件処理表に描画する罫線の範囲情報を出力する．
