Pixy: a static analysis tool for detecting Web application vulnerabilities | IEEE Conference Publication | IEEE Xplore