Re: [Valgrind-users] Question about Valgrind tool implementation

2013-09-09 Thread Philippe Waroquiers
On Mon, 2013-09-09 at 10:50 +0900, Chang-Jae Lee wrote: The first definition of variable c is at line 11. We then suppress the line 11, and subsequent use of variable c(at line 12) The above defines what to do speaking in terms of source lines, while valgrind works at binary level. There is

Re: [Valgrind-users] Question about Valgrind tool implementation

2013-09-08 Thread Chang-Jae Lee
On Fri, Sep 6, 2013 at 5:43 AM, Philippe Waroquiers philippe.waroqui...@skynet.be wrote: On Thu, 2013-09-05 at 16:01 +0900, Chang-Jae Lee wrote: Not too sure about what you mean with the above. Valgrind works at binary level, it does not really have a notion of statement. For example, if

Re: [Valgrind-users] Question about Valgrind tool implementation

2013-09-05 Thread Philippe Waroquiers
On Thu, 2013-09-05 at 16:01 +0900, Chang-Jae Lee wrote: Hi, I am a grad-student in KAIST, and I'm working on a project for finding bugs or errors. Currently I'm following a routine from the paper Execution Suppression: An Automated Iterative Technique for Locating Memory Errors. It is