polytracker
polytracker copied to clipboard
Select-instructions are missing instrumentation to track control flow
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.