LLVMSlicer

LLVMSlicer copied to clipboard

ref/def info for StoreInst

1

Dear Mr. @jirislaby , I find that I am a bit confused with the way you are dealing with StoreInst in InsInfo, https://github.com/jirislaby/LLVMSlicer/blob/master/src/Slicing/FunctionStaticSlicer.cpp#L122 If I understand correctly, `l` is actually...

hongxuchen

Points-to analysis bug - accessing array elements

1

When accessing array elements, points-to analysis doesn't work correctly if the elements are accessed by index that changes, e.g. in a cycle: ``` for (i = 0; i < 10;...

xvitovs1