dg icon indicating copy to clipboard operation
dg copied to clipboard
verified publisher icon mchalupa

loading from null should result in unknown pointer

Open mchalupa opened this issue 10 years ago • 2 comments

WARN: Didn't found pointer for %11 = load i32* null, align 4, !dbg !206

value of %11 is undefined, so it should be unknown pointer

mchalupa avatar Oct 22 '15 11:10 mchalupa

Test how uninitialized memory works in our analyses...

mchalupa avatar May 07 '16 09:05 mchalupa

This is now something that should be considered in a new PTA analysis that takes into the account also undefined behaviour and possible bugs.

mchalupa avatar Mar 13 '17 09:03 mchalupa