UBet uses a tainted control flow log to get the data needed to detect variability bugs. This is the instrumentation changes that were done to support it.
To enable the Control Affecting Dataflow log, invoke the instrument-targets command using --cflog in addition to the --taint and/or --ftrace arguments.
There is still some overlap between the features but we can unify that over time. This PR should be non-intrusive in that it shouldn't impact any of the existing functionality.
UBet uses a tainted control flow log to get the data needed to detect variability bugs. This is the instrumentation changes that were done to support it.
To enable the
Control Affecting Dataflowlog, invoke theinstrument-targetscommand using--cflogin addition to the--taintand/or--ftracearguments.There is still some overlap between the features but we can unify that over time. This PR should be non-intrusive in that it shouldn't impact any of the existing functionality.