SVF
SVF copied to clipboard
How to modify PAG/ICFG?
I am working on a static analysis to resolve certain kinds of dynamic method calls (JNI). What is the best way to extend the SVFG? Specifically, I am looking to add indirect call edges.
This will need to be done via SVFIRBuilder and ICFGBuilder. You could search these two classes to find corresponding APIs. These APIs are private/protected under classes PAG and ICFG and can only be accessed by friend classes like their builders.
Thanks for your help. I have decided to perform my modifications in an LLVM pass instead, as my use case requires heavier modification of the LLVM Module under analysis.