New AspectJ Pointcuts for Integer Overflow and Underflow Detection. - Alhadidi, D.; Debbabi, M.; Bhattacharya, P. (Information Security Journal: A Global Perspective, 2008)