调用图

REVA在运行时向LLM注入三类预制信息：所在模块的预计算威胁模型、轻量级静态分析发现以及调用图信息。

静态构建精确调用图在真实工程中几乎不可能，因为面向对象语言的动态分派需要类型推断，反射、依赖注入、回调注册等机制会让调用目标在编译期不可知。

工程上通常采用静态分析与运行时插桩相结合的混合方案来构建调用图，并接受一定的漏报与误报。