Analyzing web applications by visualizing their state-flow graphs