Why is it necessary to analyze "function pointer arguments" and StoreInst in CallgraphPass?

[Shawdox]

Dear Professor Song,
I'm new in LLVM and I was recently trying to read through the source code and part of the CallGraphPass code made me wonder.
Why in the CallGraphPass::runOnFunction(Function *F) function, after analyzing the possible Callee of each instruction, do you have to analyze its parameters and stored instructions?
Respect.

kernel-analyzer/src/lib/CallGraph.cc

Line 329 in 28b7e24

bool CallGraphPass::runOnFunction(Function *F) {