That's why I get upset when I look at complex code that doesn't clearly specify a whitelist of state transitions. It's easy god damn it: figure out your protoco

That's why I get upset when I look at complex code that doesn't clearly specify a whitelist of state transitions. It's easy god damn it: figure out your protocol state transitions, and write them down in your code somewhere. Now every time you change state, just match it against the whitelist of state transition that you have.