People have done something like this for pointer analysis (statically determining to which memory locations a pointer can point, which is a prerequisite for man

People have done something like this for pointer analysis (statically determining to which memory locations a pointer can point, which is a prerequisite for many optimizations), e.g. http://yanniss.github.io/doop-datalog2.0.pdf http://yanniss.github.io/doop-datalog2.0.pdf