Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers

Kaixuan Li, Bozhi Wu, Jian Zhang +3

Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with fun…