<div dir="ltr"><div><div>Hello,<br><br>I'm using the Clang Static Analyzer to find tainted allocations, so I added the checkBind callback to the Generic Taint Checker to test if the loaded "Val" is tainted.<br><br>However when running it on the following code ...<br><br>int somfunc(int c) {<br>  int d = c;<br>}<br>int main() {<br>  int a;<br>  scanf("%d", &a);<br>  int b = a;<br>  somefunc(a);<br>}<br><br>... a and b are marked as tainted, but c is not, State->isTainted(Val) returns false.<br>Why is that?<br><br></div>Thanks,<br></div>Tom<br></div>