[llvm-dev] Intermodule Program Analysis

[pawel k. via llvm-dev]

True that. Compile everything to bitcode and analyze it ipo. Link libs way
you want them in last stage.

Br,
Pk

sob., 24.04.2021, 04:01 użytkownik Jakub (Kuba) Kuderski <
kubakuderski at gmail.com> napisał:

> >  I have to analyze both binaries (i.e., main and gtk.so) in a single
> pass. How is it possible?
>
> You can compile each with gllvm, extract bitcode, and link those bitcode
> files together with llvm-link.
>
>
> On Fri, Apr 23, 2021 at 8:52 PM Ahmad Nouralizadeh Khorrami via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
>> Hi Pawel,
>> Yes.
>>
>> On Saturday, 24 April 2021, pawel k. <pawel.kunio at gmail.com> wrote:
>>
>>> 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
>>>>
>>> _______________________________________________
>> 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/20210424/5084b827/attachment.html>