哪些词汇术语描述了非函数变量 "traceback" 的分析代码?

What vocabulary terms describe analyzing code for the "traceback" of a non-function variable?

Python 能够为函数提供引用,显示在执行该函数的过程中调用了什么。

我还没有词汇来描述同样的方法来检查/内省非函数对象的历史,比如保存整数或字符串的变量。以下面的代码块为例:

a = 1
b = 2
c = a + 3

我希望了解要搜索哪些词或概念来描述获得“追溯”(我非常宽松地使用这个词,因为我还没有更好的术语来使用)c,同上。我想得到的输出会告诉我创建 c 的代码是:

a = 1
c = a + 3

查找哪些术语或概念有助于理解如何将此任务概念化?或者,根据 Python3 存储变量的方式或 Python3 代码的工作方式,上述是否完全偏离基础,与任何会阻止 linter / 代码分析器执行此类型的事情有关分析?

我相信您要查找的字词是 program slicing:

In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point of interest, referred to as a slicing criterion.