[LLVMdev] updated code size comparison

John Regehr regehr at cs.utah.edu
Wed Jan 20 22:21:46 CST 2010


> Right now it only catches out of range shifts and simple array out of
> bound issues, not all undefined behavior.

Besides the obvious memory safety stuff, my list of top undefined 
behaviors to catch would be:

- multiple updates to objects between sequence points

- integer overflows

- use-after-death of stack variables

- use of uninitialized stack variables

- const/volatile violations

Some of these will be no fun to implement.  But the resulting tool would 
be enormously valuable.

John


More information about the LLVMdev mailing list