使用LLVM查找变量之间的关系

Question

我对使用LLVM查找变量之间的关系有疑问。 更具体地说，如果我有两个变量a和b，我想写 LLVM通行证以检查它们是否相关，该怎么办？

对于下面的C ++示例，a和b是相关的，因为y和z的计算取决于a和{{1} }：

b

但是，以下示例与y = ax + c; z = bx + d; w = y * z; 和a无关：

b

是否可以使用任何程序分析技术来解决上述情况？