search

prosyslab-classroom / cs348-information-security

61 stars 10 forks source link

[Question][Hw5] About tainting in conditionals #163

Closed ee12ha0220 closed 3 years ago

ee12ha0220 commented 3 years ago

I have a question about tainting in conditionals. For example, in "if (x<y) ~", if x was originally safe and y was tainted, what happens to x if we go this branch?

RiceBiscuits commented 3 years ago

If executing x<y can change the x value, and y can affect x, then x can be tainted.

RiceBiscuits commented 3 years ago

If executing x<y can change the x value, and y can affect x, then x can be tainted.

We will consider only directly affected case.

ee12ha0220 commented 3 years ago

Thank you!