int main(int argc, char **argv) { // Turns on printing TNT_START_PRINT(); char a = 10; // Defines int a as tainted TNT_MAKE_MEM_TAINTED(&a,1); int s = get_sign(a); // Turns off printing TNT_STOP_PRINT(); return s; }
void * __wrap_malloc (size_t size) { void *lptr = __real_malloc(size); TNT_MAKE_MEM_TAINTED(&lptr, sizeof(lptr)); return lptr; }