DemDing

llvm-slicer hangs somewhere when slicing sqlite-3.38.0

6

Hi, llvm-slicer hung when I tried to do backward slice on sqlite-3.38.0 with following command: > ./llvm-slicer --cutoff-diverging=false -sc='fsync' -entry=sqlite3_step sqlite3.bc The output of llvm-slicer is : > IntToPtr with...