Include Node ID in Taint Info Data Flow Graph prints in DOT format.
This help DOT converter differ nodes expressed by same (instruction and location) string,
but corresponding to different program point (different instructions).
Incorrectly printed graph example
Fixed graph print
Please, notice that instructions marked with IDs 4 and 8 in the second graph,
are expressed by the same string ("{1; MOV64mr $rbp, 1, $noreg, -16, $noreg, $rax; REG: $rax}")
in the first graph.
Include Node ID in Taint Info Data Flow Graph prints in DOT format. This help DOT converter differ nodes expressed by same (instruction and location) string, but corresponding to different program point (different instructions).
Incorrectly printed graph example
Fixed graph print
Please, notice that instructions marked with IDs 4 and 8 in the second graph, are expressed by the same string ("{1; MOV64mr $rbp, 1, $noreg, -16, $noreg, $rax; REG: $rax}") in the first graph.