Heqing Huang
Heqing Huang
It is the same for the function IndEdgeSolved which is still 0.
I find the reason why the symbol missing is that I build the shared library so that some parts of the code are not included in the bc. I recompile...
I find it still crash in the using the SVF in the newest docker.
No. I use the Dockerfile shown in the repo.
I pull it again today and its commit is 5b498f6ebc4109ba6248f, which leads to the crash.
Yes. Same as previous. `-ander` is crashed too.
Yes. The latest docker image is working now. Thanks! Still, the problem mentioned by @mbarbar exists, and the ICFG is incomplete for further analysis since some target paths are missing...
Oops, another problem comes up. In the newest version of SVF, using the bc and the command above, I find that SVF cannot correctly handle the debug info. Here is...
Just as I mentioned, I use llvm tool, `opt`, to verify the correctness of the debug info of this bc. It does not raise any warning. Also, I just try...
I recompile the program with clang 10 and extract the bc again. [cjpeg-static.bc.zip](https://github.com/SVF-tools/SVF/files/6084623/cjpeg-static.bc.zip) Unfortunately, I find out that the newest version of SVF crashes again with a segmentation fault similar...