polytracker icon indicating copy to clipboard operation
polytracker copied to clipboard

Select-instructions are missing instrumentation to track control flow

Open hbrodin opened this issue 2 years ago • 0 comments

There is no explicit handling of the select IR instruction. That is needed to capture that a tainted condition affects control flow. Taint will likely be propagated through the select by regular DFSAN instrumentation.

hbrodin avatar Feb 03 '23 13:02 hbrodin