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

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