Thank you, that is a big help. I do have a follow up question. When a Valgrind client allocates memory that will be used as a shadow copy of the user's data, I would guess that is not included in is_valid_for_client. As an experiment, I ORd together the results of is_valid_for_cleint and is_valid_for_valgrind and the results of running Daikon matched our previous results - modulo now detecting reads from user space marked executable.
Thanks, Mark > -----Original Message----- > From: Philippe Waroquiers [mailto:philippe.waroqui...@skynet.be] > Sent: Monday, August 29, 2016 1:52 PM > To: Mark Roberts > Cc: valgrind-users@lists.sourceforge.net > Subject: Re: [Valgrind-users] memcheck question > > > Checking the protection can be done with VG_(am_is_valid_for_client). > This check is implemented by the address space manager, that maintains the > address space segments and protections. > ------------------------------------------------------------------------------ _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users