DemDing comments

Repositories
Issues
Comments

Results 3 comments of


                                            DemDing

llvm-slicer hangs somewhere when slicing sqlite-3.38.0

Thanks a lot! I'll try for this update right away and let you know the result.

llvm-slicer hangs somewhere when slicing sqlite-3.38.0

Hi, I've tried the branch `skip-fence` dg, but unfortunately, I had segment fault error using the command `./llvm-slicer --pta-field-sensitive=0 -cutoff-diverging=false -sc 'fsync' -entry=sqlite3_step sqlite3.bc`: > IntToPtr with constant: = inttoptr...

llvm-slicer hangs somewhere when slicing sqlite-3.38.0

> How long does it take before the crash? I cannot reproduce that. dg crashes as soon as it starts running and the crashed bitcode file is attached below. [sqlite3_crash.zip](https://github.com/mchalupa/dg/files/8976040/sqlite3_crash.zip)