[llvm-dev] Intermodule Program Analysis

Jakub (Kuba) Kuderski via llvm-dev llvm-dev at lists.llvm.org
Fri Apr 23 13:12:47 PDT 2021


Hi Ahmad,

Maybe gllvm would work for this use case? There was a similar thread in
2019: https://lists.llvm.org/pipermail/llvm-dev/2019-January/129587.html.

-Jakub

On Fri, Apr 23, 2021 at 4:02 PM Ahmad Nouralizadeh Khorrami via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> 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.
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>


-- 
Jakub Kuderski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210423/032d0bad/attachment.html>


More information about the llvm-dev mailing list