When performing startTaint for the crash-start instruction, besides memory location, represented
by base register and offset, we should taint the Destination base register also.
Additionally, upgrade debug prints for Taint Info, which is seen when using -debug-only=taint-analysis argument.
This is beneficial for tracking status and updates of Taint List.
Taint Info debug prints have the following format:
When performing startTaint for the crash-start instruction, besides memory location, represented by base register and offset, we should taint the Destination base register also.
Additionally, upgrade debug prints for Taint Info, which is seen when using -debug-only=taint-analysis argument. This is beneficial for tracking status and updates of Taint List.
Taint Info debug prints have the following format: