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:[email protected]] > Sent: Tuesday, August 30, 2016 1:59 PM > To: Mark Roberts; 'Philippe Waroquiers' > Cc: [email protected] > 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 ------------------------------------------------------------------------------ _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
