Possibly stack overflow while computing WTO of a large CFG
caballa opened this issue · 1 comments
caballa commented
Problem07_label52_true-unreach-call.pp.bc.zip
Command to reproduce the problem using crab-llvm:
crabllvm Problem07_label52_true-unreach-call.pp.bc --crab-verbose=2 --crab-dom=int --crab-widening-delay=2 --crab-widening-jump-set=0 --crab-narrowing-iterations=2 --crab-track=arr --crab-singleton-aliases --crab-check=assert --crab-stats --crab-disable-warnings
silently produces signal 11 (SEGFAULT).
I did some gdb and it seems that we run out of stack while computing WTO using recursion.