Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications | IEEE Conference Publication | IEEE Xplore