In the buildCFG algorithm, I have not added a check that a state has already been encountered.
If we add this check, it should increase performance and provide some cheap minimisation (so less work for the minimisation algorithm).
to do
Implement a check to detect states that have been seen before. (not only PCs but the stack too).
In the
buildCFGalgorithm, I have not added a check that a state has already been encountered. If we add this check, it should increase performance and provide some cheap minimisation (so less work for the minimisation algorithm).to do
Implement a check to detect states that have been seen before. (not only PCs but the stack too).