1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
#include <stdio.h> #include <stdlib.h> #include <string.h> void test (int *k) { if (*k > 5) { *k --; } } int main () { int z; /* z is initialized, but not via a pointer, so not instrumented */ z = rand (); test (& z); return 0; }