フラグ管理について

無意味なフラグ・シーンの検出は、モデルの形式的検査技法になるようだ。
未踏で既出なので、作成可能なことは分かったが、私にはかなり難しそう。
前回文字列を持ち出したとき薄々予感していたが有限状態機械の状態遷移
という面倒くさそうな話になってくる。という訳で、フラグ管理は諦める。
もともと大作を作るためのライブラリではないので、そこに手間を掛ける
のは本末転倒な気がする。誰でもできることしかやらないポリシーなので。
…しかしエロゲ業界では手作業でフラグのデバッグやっているのだろうか。
それとも大手では密かにツールを開発しているのだろうか。気になる所だ。