正しいIDA検出に修正

[masa5555]

// (\w|\d)* has IDA?:  { status: 'Safe', message: "Don't have IDA." }
// [a-z][0-9a-z]* has IDA?:  { status: 'Safe', message: "Don't have IDA." }
// a[a-z] has IDA?:  { status: 'Safe', message: "Don't have IDA." }
// a*a* has IDA?:  { status: 'Vulnerable', message: 'Detected IDA.' }
// (.*)="(.*)" has IDA?:  { status: 'Vulnerable', message: 'Detected IDA.' }

３つの状態の直積を作るところが間違っていました。

[n4o847]

かなりすっきりしていいと思います！

[n4o847]

あ、approve したあとで思ったんですが、直積の順番が SCC1 → NFA → SCC2 となっているのに対して、Builder に与える順番が SCC1 → SCC2 → NFA となっているのがちょっと非直感的な気がしました（遅かった……）

[yapatta]

確かに、 scc1, nfa, scc2の方が直感的(定義と書き方が揃えられる)

[masa5555]

なるほど。直接直しちゃっても良いですかね？

[n4o847]

お願いします、このブランチ restore しましょう

[n4o847]

あれ、Restore branch して以降の変更ってこのプルリクに組み込めるんだっけ

無理そうだったら何でも良いです

[masa5555]

詳しくないので、自分もわかりませんが、できなそうですね。新しく立てて、mergeします