Taint mechanism

[marie]

Hi,
I want to know if the taint mechanism depends only of the input data?
In the code below if x=3, only y will be tainted? or z too?

int main(int argc, char **argv)
{
int x;
int z;
int y;
scanf("%d", &x);
if (x != 5)
y=x;
else
z=x;

}
I would know if bitblaze take account of the dependencies of control
flow independently of the branche executed?
That's mean since x is tainted then y and z must be tainted?
Thank you

[Alex Bazhanyuk]

Hi,

On Tue, Mar 27, 2012 at 3:29 PM, marie <marm...@gmail.com> wrote:

Hi,
I want to know if the taint mechanism depends only of the input data?

input_data will be tainted if you write in temu console:
taint_nic
taint_file
taint_sendkey
 

In the code below if x=3, only y will be tainted? or z too?

Only y.
 

 int main(int argc, char **argv)
 {
 int x;
 int z;
 int y;
 scanf("%d", &x);
 if (x != 5)
 y=x;
 else
 z=x;

 }
I would know if bitblaze take account of the dependencies of control
flow independently of the branche executed?

using taint propagation.