Towards PHP Vulnerability Detection at an Intermediate Language Level | IEEE Conference Publication | IEEE Xplore