From: Alexey Tourbin <at@altlinux.ru> To: ALT Devel discussion list <devel@altlinux.ru> Subject: [devel] Re: ELFs in /usr/share Date: Sun, 18 Sep 2005 12:46:18 +0400 Message-ID: <20050918084618.GH2358@solemn.turbinal.org> (raw) In-Reply-To: <20050917232346.GB24652@basalt.office.altlinux.org> [-- Attachment #1: Type: text/plain, Size: 3342 bytes --] On Sun, Sep 18, 2005 at 03:23:46AM +0400, Dmitry V. Levin wrote: > > А нужны более тонкие проверки, с reverse lookup'ом. Надо попробовать > > нарисовать все эти ER-диаграммы. Но для этого нужно поставить пиратскую > > винду, водрузить на неё пиратскую Rational Rose и т.п. > > Зачем? Если в сборочной среде правильно запущенный "ldd -r" выявляет > undefined references, то этого зачастую достаточно. Ну в идеале нужно промоделировать работу ldd -r на основе базы данных пакетов, ELF'ов, символов и soname'ов. Что полученный дамп отчасти позволяет сделать. Нужно ещё несколько таблиц и join'ов по составным ключам. > Тот факт, что какой-то ELF содержит символ, похожий на тот, который > показывает "ldd -r" как undefined reference, ещё мало что даёт. Да. Возмём некий ELF. У него есть, с одной стороны, список soname'ов, которые он требует. $ readelf -d /usr/bin/perl |grep NEEDED 0x00000001 (NEEDED) Shared library: [libperl.so.5.8] 0x00000001 (NEEDED) Shared library: [libdl.so.2] 0x00000001 (NEEDED) Shared library: [libm.so.6] 0x00000001 (NEEDED) Shared library: [libpthread.so.0] 0x00000001 (NEEDED) Shared library: [libc.so.6] 0x00000001 (NEEDED) Shared library: [libcrypt.so.1] $ С другой стороны, у него есть список undefined symbols, которые по смыслу должны разрешиться в эти soname'ы. $ nm -D /usr/bin/perl |awk NF==2 |head U PL_do_undump U PL_op_mutex U PL_sigfpe_saved U PL_use_safe_putenv U Perl_atfork_lock U Perl_atfork_unlock U Perl_croak_nocontext U Perl_newXS w _Jv_RegisterClasses w __gmon_start__ $ Каждый символ может разрешиться в одном (в любом) из soname'ов. Это называется декартовым произведением символов на soname'ы. Такая таблица получается со стороны "requires". Со стороны "provides" предоставляется более очевидная таблица, тоже символов и sonme'ов, в которой просто перечислены все динамически символы "с адресом" из soname'ов. Далее делается inner join этих двух таблиц, по составному ключу символ+soname. Требование к полученному результату: каждый символ должен разрешиться в одном и только одном из soname'ов. Ну ясно наверное, о чем речь идет. Это и есть строгая проверка, более строгая, чем `ldd -r'. Сюда даже не обязательно реляционную модель приплетать, просто она помогает понять entity-relationship. > А там как раз такой дизайн: > $ ldd -r /lib/libthread_db.so.1 >/dev/null Это я отдельно посмотрю. Получется, что символы могут предоставляться не только soname'ами, но и бинарями. Тогда нужно усложнять модель по части "кто кого загружает". > > Да нет, я просто пока понял, что если символов вообще нигде нет, то их > > точно вообще нигде нет. :) Я написал, что это слабая проверка, она > > ничего не гарантирует, только обнаруживает вопиющие случаи... > Скорее клинические. :) Ну вот если сделать давилку для публичных библиотек, то что она скажет по поводу tomboy /usr/lib/tomboy/libtomboy.so U GTK_IS_SOURCE_VIEW ? Пропустит, потому что это не публичная библиотека. Тем не менее, символа GTK_IS_SOURCE_VIEW нигде нет. Такое нужно давить в первую очередь. [-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]
next prev parent reply other threads:[~2005-09-18 8:46 UTC|newest] Thread overview: 49+ messages / expand[flat|nested] mbox.gz Atom feed top 2005-09-16 9:33 [devel] " Alexey Tourbin 2005-09-16 9:54 ` [devel] " Alexey Tourbin 2005-09-16 10:24 ` [devel] " Dmitry V. Levin 2005-09-16 10:35 ` [devel] " Michael Shigorin 2006-01-14 17:19 ` Dmitry V. Levin 2006-01-14 22:57 ` Dmitry V. Levin 2006-04-04 22:09 ` [devel] " Dmitry V. Levin 2006-04-05 8:14 ` Michael Shigorin 2006-04-05 8:31 ` Денис Смирнов 2006-04-05 11:15 ` Dmitry V. Levin 2006-04-14 14:36 ` Alexey Tourbin 2006-04-05 8:33 ` Michael Shigorin 2006-04-05 11:12 ` Dmitry V. Levin 2006-04-05 12:03 ` Michael Shigorin 2005-09-17 10:45 ` [devel] " Alexey Tourbin 2005-09-17 15:14 ` Alexey Tourbin 2005-09-17 15:33 ` Alexey I. Froloff 2005-09-17 22:23 ` Alexey Tourbin 2005-09-17 22:32 ` Dmitry V. Levin 2005-09-17 23:00 ` Alexey Tourbin 2005-09-17 23:23 ` Dmitry V. Levin 2005-09-18 8:46 ` Alexey Tourbin [this message] 2005-09-18 10:02 ` Alexey Tourbin 2005-09-18 20:18 ` [devel] bloom filters Alexey Tourbin 2005-09-18 21:32 ` [devel] " Michael Shigorin 2005-09-18 21:58 ` Alexey Tourbin 2005-09-18 22:04 ` Michael Shigorin 2005-09-18 21:43 ` Alexey Tourbin 2005-09-18 21:49 ` [devel] [JT] " Dmitry V. Levin 2005-09-19 6:47 ` [devel] " php-coder 2005-09-19 7:19 ` Alexey Rusakov 2005-09-19 14:43 ` Ivan Fedorov 2005-09-19 15:03 ` [devel] " Alexey Tourbin 2005-09-20 5:28 ` Ivan Fedorov 2005-09-19 7:56 ` Alexey Tourbin 2005-09-19 23:40 ` Alexey Tourbin 2005-09-20 5:29 ` Alexey Rusakov 2005-09-18 5:02 ` [devel] Re: ELFs in /usr/share Alexander Bokovoy 2005-09-18 21:28 ` [devel] проверки, качество, репозитории Michael Shigorin 2005-09-16 10:31 ` [devel] Re: elves in /usr/share Michael Shigorin 2005-09-16 11:03 ` Alexey Tourbin 2005-09-16 11:10 ` Michael Shigorin 2005-09-16 11:22 ` Dmitry V. Levin 2005-09-16 11:43 ` Alexey Tourbin 2005-09-16 11:53 ` Michael Shigorin 2005-09-16 12:18 ` Alexey Tourbin 2005-09-19 6:13 ` Mikhail Zabaluev 2005-09-16 13:17 ` [devel] ELFs " Денис Смирнов 2005-09-19 18:15 ` [devel] U: icu (was: ELFs in /usr/share) Mikhail Zabaluev
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20050918084618.GH2358@solemn.turbinal.org \ --to=at@altlinux.ru \ --cc=devel@altlinux.ru \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
ALT Linux Team development discussions This inbox may be cloned and mirrored by anyone: git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \ devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru public-inbox-index devel Example config snippet for mirrors. Newsgroup available over NNTP: nntp://lore.altlinux.org/org.altlinux.lists.devel AGPL code for this site: git clone https://public-inbox.org/public-inbox.git