Ejemplo n.º 1
0
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;
}
Ejemplo n.º 2
0
void * __wrap_malloc (size_t size) {
    void *lptr = __real_malloc(size);
    TNT_MAKE_MEM_TAINTED(&lptr, sizeof(lptr));
    return lptr;
}