Jakub (Kuba) Kuderski via llvm-dev
2021-Apr-24 02:00 UTC
[llvm-dev] Intermodule Program Analysis
> I have to analyze both binaries (i.e., main and gtk.so) in a singlepass. 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>
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>