Re: [Valgrind-users] memcheck question

[Mark R. <ma...@cs...>]

We chase down pointers to find user values.  Some of those pointers we
modify to point to shadow memory (we copy chunks of the stack for safe
keeping, for example) and I believe those Daikon allocated blocks are
considered Valgrind space not client space.

Mark

> -----Original Message-----
> From: Julian Seward [mailto:js...@ac...]
> Sent: Tuesday, August 30, 2016 1:59 PM
> To: Mark Roberts; 'Philippe Waroquiers'
> Cc: val...@li...
> Subject: Re: [Valgrind-users] memcheck question
> 
> 
> I don't think that is_valid_for_valgrind should really be required.  That
> delimits areas which Valgrind itself can use but the client isn't allowed
to
> access.
> 
> In what way is is_valid_for_client too strict?
> 
> J