SVF icon indicating copy to clipboard operation
SVF copied to clipboard

How to modify PAG/ICFG?

Open JuliusNmn opened this issue 10 months ago • 2 comments

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.

JuliusNmn avatar Apr 10 '24 07:04 JuliusNmn

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.

yuleisui avatar Apr 10 '24 08:04 yuleisui

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.

JuliusNmn avatar Apr 11 '24 07:04 JuliusNmn