Free memory allocated to state-machine variables */

Return the index of the "region" containing a given value */

Check if a state sequence is interesting (e.g., new state is discovered). Loop is taken into account */

Initialize the implemented state machine as a graphviz graph */

Update #fuzzs visiting a specific state */

Update the annotations of regions (i.e., state sequence received from the server) */

Calculate state scores and select the next state */

Store state coverage feedback into the right of the bitmap */

TODO(metzman): Create a test/ directory to store this and other similar files.