Displaying 1 result from an estimated 1 matches for "6520f892".
2016 Aug 12
2
A "hello world" coverage sanitizer
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
--