Could CallInstruction get virtual function target? #14005
Description
Hey, I try to identify does a function call function b.
In codeql , it offer a predicate call+:
a.call+(b)
It works well. However, it can't handle virtual function. so I choose a same way in codeql code database. I can archived it by use FunctionCall.
Howver, I need to compare this dominate with others or not. So I use CallInstructioin to archive it. we have a API named getInstruction(int index), we could find its index.
Sadly, I can't ensure this functioncall is same as the CallInstruction, because CallInsturction only can get the target function by API GetStaticCallTarget. it can't get the virtual function call target....