TY  - RPRT
TI  - Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
AU  - Kaixuan Li
AU  - Bozhi Wu
AU  - Jian Zhang
AU  - Peixin Wang
AU  - Ting Su
AU  - Yang Liu
PY  - 2026
UR  - https://arxiv.org/abs/2609.33547
ID  - 2609.33547
ER  -