程序逻辑-变量状态跟踪