Johannes Dahse: Static detection of complex vulnerabilities in modern PHP applications. Ruhr University Bochum 2016