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
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 exam
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.
