Report dependencies of markers

[reprogrammer]

LCK06J and VNA00J propagate unsafe instructions along the call graph. However, the markers reported by Keshmesh do not include sufficient information to discover the root cause each marker. One possibility would be to include the immediate neighboring call graph nodes that propagated unsafe instructions to each marker. For example, in the following piece of code, the marker at line 2 would include references to the instructions at lines 5 and 6. Likewise, the marker at line 6 would refer to the instruction at line 9.

 1: m1() {
 2:  m2();
 3: }
 4: m2() {
 5:  shareVariable1++;
 6:  m3();
 7: }
 8: m3() {
 9:  shareVariable2++
10: }