Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code | Synapse