跟踪对函数的返回值执行的操作

#1 楼

在静态上下文中，这称为“数据流分析”。例如，Hex-Rays将函数调用的返回位置信息合并到其函数表示中，以确定数据流入的位置。您没有提供关于要如何使用此信息的详细信息，但我想知道，研究一下编写Hex-Rays插件可能是值得的。

#2 楼

该问题的更通用名称是数据污染。
将某些数据标记为污点，然后在其余代码中跟踪污点传播。
关于污点分析的研究很多，工具也很多。看看bitblaze（尤其是taint跟踪器的编辑：只是发现它没有可用的独奏器并已过时...），它包含了taint跟踪的一部分。

如果您需要更“轻量级”的东西，请查看julio auto和bsdaemon的VDT，这些VDT更加面向开发利用，但可能会告诉您事情的工作原理。 VDT实际上所做的事情与您所做的非常相似，但是相反。给定执行跟踪，您可以从某个值进行向后搜索，以查看如何初始化，如何使用它以及影响了什么代码。

有关更多学术方法的信息，请查看“您想要了解的有关动态污点分析和正向符号执行的全部信息”。东西可以静态实现。
我现在想不出任何示例/工具。
我相信有人会想出更多的工具和想法。