As web applications get increasingly complex to support sophisticated business functionalities, an emerging class of vulnerabilities, which are referred to as logic vulnerabilities (a.k.a, logic flaws), have attracted increasing attention. The major challenge in fixing this type of vulnerability comes from the fact that application logic flaws are specific to the functionality of a web…