From: George Baah <baah@cc...> - 2007-05-18 04:53:46
I am trying to compute the definitions that reach into and out of
Cil's reaching def framework provides the instrRDs function to do this.
I can't seem to figure out the first two parameters of the third
instrRDs (list of instructions) (statement id) (?,?,reaching defs)
Any help will be greatly appreciated. Thanks.