，不过会花许多的记忆体。唿叫上下文树一般不会用静态程式分析产生，因为对大型程式会花许多时间。最不准确的函式唿叫图称为「上下文无关」（context-insensitive），针对每一个函式只会有一个节点。若程式语言中有动态调度的特性（例如Java或C++）,要产生准确的静态程式分析会需要的结果。相对的，要得到准确的假名分析也需要函式唿叫图。许多静态分析系统可以同步产生这二份资料，解决这个看似无限回圈的问题。
用途.函式唿叫图有几种不同的用途。其中一个简单的应用是找出没有被其他程