Yulei Sui

You can get the ICFGNode of that callsite via the API in ICFG class. Once after that, you can retrieve the llvm’s instruction on ICFGNode and the basic block

Line number API: https://github.com/SVF-tools/SVF/blob/master/include/Util/SVFUtil.h#L299

This is a very good case. SVF can not handle variadic functions statically for now. We will put this on our list to seek help with this.

You can refer here to learn a bit more about API, https://github.com/SVF-tools/Teaching-Software-Analysis/blob/slides/slides/Data-Dependence.pdf

Unfortunately, we don't have lecture slides or documents for these implementations. Hopefully, the code is self-explanatory. You may wish to refer to the following papers if you want to understand...

Hello, See below: (1) get the LLVM function of this PAGNode. `pNode->getFunction()` (assume this value is an instruction here). (2) retrieve the SVFFuntion via `getSVFFunction` in SVFmodule.h (3) get its...

Yes, there can be multiple call edges between two nodes PTACallgraph. You will need to iterate the incoming edges and collect their callsite information (CallBlockNode in SVF) to form a...

This store seems to be a constant expression. I guess the store edge is added here: https://github.com/SVF-tools/SVF/blob/master/lib/SVF-FE/PAGBuilder.cpp#L391-L414 Could you double-check and trace where the edge is added? If you can...

Thanks, you could add a namespace called "SVF" for all the classes and methods. It would be good to do the minimum changes to the project.

Sounds good to me. Please go ahead and thanks.