[llvm-dev] A "hello world" coverage sanitizer

Zhoulai via llvm-dev
Fri, 12 Aug 2016 18:46:10 -0000

Hi, all

I want to instrument a program automatically so that it prints "hello"
before each conditional statement. For example, consider the function P
below.

    int P(int x) {
     if (x<3)
        if (x>0)
           return 1;
     return 0;
   }

Let P_instrum be the instrumented version of P.  It is expected that:

-- P_instrum(1)  prints two "hello"s
-- P_instrum(-1) prints one "hello"
-- P_instrum(5)  prints no "hello"

>From my understanding about Clang's sanitizer coverage,
<http://clang.llvm.org/docs/SanitizerCoverage.html> we can use a sanitizer
to achieve this instrumentation.  However, so far I have not found a
working example or snippet code to get started. Any idea?

Thanks,

Zhoulai
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160812/ed10dbd5/attachment.html>