[llvm-dev] Intermodule Program Analysis

[Jakub (Kuba) Kuderski via llvm-dev]

>  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/20210423/36970cd6/attachment.html>