DRC: A detection tool for dangling references in PHP-based web applications | IEEE Conference Publication | IEEE Xplore