yahnik / TaintTracking

Implementation of Taint Tracking in LLVM compiler.
10 stars 2 forks source link

TaintTracking not working #1

Open Mahbeer opened 10 years ago

Mahbeer commented 10 years ago

The TaintTracking.so does not work when global variables are assigned values in multiple functions. in my case it is generating following error Instruction does not dominate all uses! %storeTa78 = alloca i1 %taint_load = load i1* %storeTa78 Instruction does not dominate all uses! %storeTa17 = alloca i1 %taint_load2 = load i1* %storeTa17

Mahbeer commented 10 years ago

here is the source code that i tried to taint

include

int tet; void mny ( int v ) { v = *v+10;}

void mny1 ( int v ) { tet = 120; }

int main(int argc, char *argv[]) { tet=0; mny1(2); mny(&tet); printf("\ndddd:::%d\n",tet); return 1; }