search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
484 stars 136 forks source link

PTA FI: identify GEP instructions and preprocess UNKNOWN_OFFSETS #109

Open mchalupa opened 8 years ago

mchalupa commented 8 years ago

if we have code like this:

int *p = array[0];
p++;

Then in flow-insensitive analysis we end up with UNKNOWN_OFFSET even though there's no loop. Would it be possible to identify those parts and set the UNKNOWN_OFFSET immediately?

mchalupa commented 5 years ago

Done for FI, but what about for FS?