code2inv

code2inv copied to clipboard

@XujieSi Dr. Si, I am working on a new method to generate loop invariants. Code2inv is inspiring to my research. So, I plan to run a compare between the new...

TaihuLight

Segmentation fault (core dumped)

1

I use a c program to generate graph，but I got this fault，what should I do to fix this？ ``` (base) yy@ubuntu:~/code2inv/clang-fe/bin$ ./clang-fe -ssa /home/yy/symsan/tests/mini.c > mini.c.json 2>>/dev/null Segmentation fault (core...

lz1159435992

WHen the input file does not include a main function the clang-fe binary hits a segmentation fault ```bash root@88a2e3099477:/code2inv# ./clang-fe/bin/clang-fe -smt ./example2.c input.cc:18:1: warning: control reaches end of non-void function...

xobx-cherif