A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis.

Hongbo Zhou, Qian Wang, Dahai Jin, Yunzhan Gong

Browse the full ISSRE paper archive.