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 understand the second and the third
argument of this function. What is it? How I can get it if I have list of
instrRDs (list of instructions) (?) (?,?,?) boolean_value.
Any help will be greatly appreciated. Thanks.
Can I get RDs Info for one instr of instrs list? I have instrs list and I
want to get RDs information for ,for example second, instruction of this
I get it (for example second: let instr = List.hd(List.tl instrs) ).
Next I want to use instrRDs function.
insrRDs [instr] sid (?,?,?) false If is true?
How I can get third parametr of this function?