Re: Reading uninitialized memory

[Torbjorn Granlund]

Andrew Vaught <address@hidden> writes:

    In order for checker and similar products (purify, Electric Fence) to
  prevent the propagation of undefined values, dataflow analysis at
  compile-time is required.  The unused value from memory is read into a
  register and then is sometimes not used.  Because checker is doing its
  thing at run-time, it is too late for the dataflow analysis.

Well, just as it can trace pointers, it could trace values coming from
unitialized memory.

-- 
Torbjörn