Composite Constant Propagation: Application to Android Inter-Component Communication Analysis | IEEE Conference Publication | IEEE Xplore