Yulei Sui

This error has been fixed in a later version (by this commit https://github.com/SVF-tools/SVF/commit/ada34e76eb5dc72720821ef735d14c630363ecdc) You can use the latest SVF or the most recent release.

I have cc'ed @mbarbar who is the author of VFS. He might have some suggestions on this.

I don't think it is stuck in Andersen. @logo749 did you see any stats for Andersen printed out?

Current not. You can use wllvm to link the bcs before SVF's analysis

`%9 = inttoptr i64 %8 to i8*, !dbg !27` needs an int2pointer analysis which is not supported by SVF hence, it will points-to a null pointer in this case.

> Thanks for providing such useful tools. > > I have no experience in software analysis before and am currently using `SVF` in one of my research project (analyzing linux...

You will need to use llvm-13 or above.

The result searched from Google https://www.google.com/search?q=clang%3A+error%3A+unknown+argument%3A+%27-fno-discard-value-names%27&rlz=1CDGOYI_enAU996AU996&oq=clang%3A+error%3A+unknown+argument%3A+%27-fno-discard-value-names%27&aqs=chrome..69i57j69i58.2709j0j4&hl=en-GB&sourceid=chrome-mobile&ie=UTF-8

Need to setup your environmental variable. Type: source ./setup.sh

> Hello, I noticed that whole-program analysis' results vary depending on the compiler flags which were used when generating the LLVM bitcode file. This is especially the case when working...