Yulei Sui

It looks to me that dvf analyzes all the indirect calls. You can print all the pts. It should be there.

MTA has not maintained for quite a while. You feel free to move and integrate it back to the main repo if you can.

Can you provide a case for your purpose? From my understanding, you can use points-to results of a pointer at a load instruction, then you can obtain the offset of...

The example looks ok to me. SVFG should be able to capture the def-use of `p` from the argument to the callsite parameter. You can generate the SVFG using `wpa...

You will need to specify or model the behaviour of sprintf. For example, expand the function call to be instructions.

Yes, we plan to have the analysis results in fat bcs, so that the users can use existing python bindings to read the results. https://github.com/numba/llvmlite You are also encouraged to...

Hello, please see my inline replies and how they are helpful > I am trying to use SVF to build analysis, but I am not sure what SVF's component better...

> Thanks for your reply! > > I believe SVFG already resolved the alias of `s->ss`. From Example 2, I run the following command: `wpa -ander -svfg --dump-vfg library.o.bc` and...

> Thanks again, I am getting toward my goal. > > I have a slightly off-topic question. I partially resolved it with aliasing. However, in my scenario the order of...

That’s fine. Go ahead.