[llvm-dev] Intermodule Program Analysis

[Ahmad Nouralizadeh Khorrami via llvm-dev]

Hi,
Typical whole program IR level analyses are done by means of module passes.
The modules should be linked before the analysis process.
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?
Regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210424/e771e598/attachment.html>