[Question][Hw5] About tainting in conditionals

[ee12ha0220]

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]

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

[RiceBiscuits]

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]

Thank you!