我有一个程序间控制流程图，我想对其进行数据流分析。我正在使用Hashtable进行全局（level = 0），文件（level = 1）和方法（level = 2）等等。我将它们从级别0开始推入堆栈。
只要我在程序中只有一个方法，它就可以正常工作。但是如果我有两种方法并假设方法1（M1）中的基本块＃2调用方法（M2），我应该如何处理这个新的方法符号表？我应该存储前一个符号表并为新方法创建一个新符号表吗？
当调用另一个类的方法或进行嵌套函数调用时，我发现更复杂。有人可以建议我该怎么办呢？
我在Java工作。
P.S。我知道有一些现有的工具，如WALA，Soot可能适用于此，但我试图了解它是如何工作的。