<div dir="ltr">Hi,<div>Typical whole program IR level analyses are done by means of module passes. The modules should be linked before the analysis process.</div><div>In some rare cases, the analysis needs to be performed across the whole user level code. In other words, suppose that the bitcode files for the program and all shared libraries are available. Also, suppose that the libraries can not be linked, statically. Is it possible to run an analysis (e.g., taint analysis or constant propagation) on the whole user level software stack (at the IR level)? If not, is there any better approach?</div><div>Regards.</div></div>