Hello! Is there any analysis in LLVM that can be used to obtain, for a function, the list of all global variables that may be modified as a result of a call to that function (taking into account any calls in those function and aliasing). If not, what's the best way to implement such a analysis? Thanks, Volodya