llvm dev - Apr 2021 - Intermodule Program Analysis

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>

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>

Hello,
Do You have sources for all the libraries that will be distributed as dlls?

Best regards,
Pawel Kunio

pt., 23.04.2021, 22:02 użytkownik Ahmad Nouralizadeh Khorrami via llvm-dev <
llvm-dev at lists.llvm.org> napisał:
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210424/e27d0e71/attachment.html>