In the Taint Data Flow Graph, if node represents Memory Location Taint Info,
and the Concrete Memory Address is not available, print symbolic address
as register + offset, like in the example below.
!2{1; $rdi = MOV64rm $rax, 1, $noreg, 8, $noreg; MEM: $rax + 8}
Before this patch, Memory Locations without Concrete Address, were represented
only by the base register (as a simple register location) like in the second example.
!2{1; $rdi = MOV64rm $rax, 1, $noreg, 8, $noreg; REG: $rax}
In the Taint Data Flow Graph, if node represents Memory Location Taint Info, and the Concrete Memory Address is not available, print symbolic address as register + offset, like in the example below.
!2{1; $rdi = MOV64rm $rax, 1, $noreg, 8, $noreg; MEM: $rax + 8}Before this patch, Memory Locations without Concrete Address, were represented only by the base register (as a simple register location) like in the second example.
!2{1; $rdi = MOV64rm $rax, 1, $noreg, 8, $noreg; REG: $rax}