Any path-sensitive pointer analysis?

[DesNevermore]

As shown below, the CondPTAImpl is said to be a context- and path- sensitive analysis and the ContextDDA is the only place used it. So does this mean the ContextDDA is a path-, flow-, context-, and field- sensitive pointer analysis? And can I use the ContextDDA pointer analysis to refine the SVFG or the call graph? If so, how?

[yuleisui]

No path-sensitive points-to analysis is in the upstream yet.

ContextDDA can refine the initial SVFG during on-demand traversal. You may wish to take a look at the code in ContextDDA.cpp