417 state machine Dec 8, 2010 Symantec has so many nice diagrams in their Stuxnet dossier that we thought we should draw one, too. Here is the state machine of the 417 attack code.