Analyzing Web Applications By Visualizing Their State-Flow Graphs