US8327344B2 - Array Reference Safety Analysis in the Presence of Loops with Conditional Control Flow