Describir: Building Secure Web Applications with Automatic Partitioning.