A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)