Yulei Sui

I have no problem for running either of your bcs on the image. I suspect you were using the wrong `wpa` executable or outdated version of SVF in your local...

OK. I see. You were trying to use ICFG's `updateCallGraph` method. I just reproduced the crash you had when using this obsolete method. The error is caused by trying to...

`dlopen` needs to point to an object representing the filehandle. The dereference of that object can happen inside a system call as you observed. If you like, you can also...

Are you refactoring MTA code? May I know which option you are using and where is the repo?

I am unsure why you would like to add other files? Where is your refactored codebase?

Unfortunately, not at this stage... We will update this thread if we plan to implement one.

Thanks for reporting this. I had a debug for your case. It looks to me that the optimized bc does not follow the standard type system, so SVF was not...

Is this the fix for the latest LLVM-8.0?

For a successful compilation, it needs to pass the reference "*mod" but not "mod", otherwise it would be the compilation errors below: ``` /lib/Util/SVFModule.cpp: error: error: no matchingno functionmatching for...

You can enable `-field-limit=0` https://github.com/SVF-tools/SVF/blob/9609395647cf5c791e9ab7d56bd90cbfcc3151c0/lib/Util/Options.cpp#L22