issues
search
n4o847
/
seccamp-redos
A tool for detecting ReDoS vulnerabilities based on automata theory.
https://n4o847.github.io/seccamp-redos/
7
stars
4
forks
source link
二重Stateを作成しないBFSに修正+test.jsの微修正
#40
Closed
yapatta
closed
3 years ago
yapatta
commented
3 years ago
BFSでそのStateが到達可能と判定できた時点でnewStatesSetに入れるように
到達可能という意味なので、到達可能なStateの集合からdestへの辺が存在してdestがまだ訪れていない場合、queueとnewStateSetにdestを入れてしまう
queueにあるStateを入れた時点でnewStatesSetにもそのStateを入れる。queueに入った時点で到達可能と判定できる