Swaddler: An Approach for the Anomaly-Based Detection of State Violations in Web Applications