代码分析领域求助，请问如何跟踪一个变量的数据流，最好能获得其中的相关信息

hzk007

小白第一次发帖：代码分析领域求助，请问如何跟踪一个变量的数据流，最好能获得其中的相关信息，比如代码行号，代码片段等等。
举一个例子就是：
需要根据一个变量找到该文件（甚至跨文件中）所有相关的代码，比如图中b这块有个定义的函数，有个state，然后state来源于device，然后在c的4那调用了一下，然后就要沿着device找到vec，直到找到vec在c的第一行被定义那，需要把c中的这些相关代码全找到。

图如下：
图中的每一行代码都在同一个文件的不同位置，但是在同一个数据流上，也就是vec到device，有点像污点分析，我目前正在用codeql做，有点复杂，所以想请问有没有其他一些推荐的方案，小白第一次发帖，大家有什么疑问可以再提问，谢谢各位大佬。