Precise alias analysis for static detection of web application vulnerabilities