2015-03-31 16:10:08 -04:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2018-03-29 11:41:42 -04:00
|
|
|
|
;;; Copyright © 2015, 2018 Ludovic Courtès <ludo@gnu.org>
|
2015-03-31 16:10:08 -04:00
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (guix build gremlin)
|
|
|
|
|
#:use-module (guix elf)
|
2015-04-05 09:31:55 -04:00
|
|
|
|
#:use-module ((guix build utils) #:select (store-file-name?))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
#:use-module (ice-9 match)
|
|
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
|
#:use-module (srfi srfi-9)
|
|
|
|
|
#:use-module (srfi srfi-26)
|
2015-04-01 08:02:49 -04:00
|
|
|
|
#:use-module (srfi srfi-34)
|
|
|
|
|
#:use-module (srfi srfi-35)
|
2015-03-31 16:10:08 -04:00
|
|
|
|
#:use-module (system foreign)
|
|
|
|
|
#:use-module (rnrs bytevectors)
|
|
|
|
|
#:use-module (rnrs io ports)
|
2015-04-01 08:02:49 -04:00
|
|
|
|
#:export (elf-error?
|
|
|
|
|
elf-error-elf
|
|
|
|
|
invalid-segment-size?
|
|
|
|
|
invalid-segment-size-segment
|
|
|
|
|
|
|
|
|
|
elf-dynamic-info
|
2015-03-31 16:10:08 -04:00
|
|
|
|
elf-dynamic-info?
|
2018-03-29 11:41:42 -04:00
|
|
|
|
elf-dynamic-info-soname
|
2015-03-31 16:10:08 -04:00
|
|
|
|
elf-dynamic-info-needed
|
|
|
|
|
elf-dynamic-info-rpath
|
|
|
|
|
elf-dynamic-info-runpath
|
2015-04-23 05:23:14 -04:00
|
|
|
|
expand-origin
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
2018-04-17 07:38:12 -04:00
|
|
|
|
validate-needed-in-runpath
|
|
|
|
|
strip-runpath))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; A gremlin is sort-of like an elf, you know, and this module provides tools
|
|
|
|
|
;;; to deal with dynamic-link information from ELF files.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(define-condition-type &elf-error &error
|
|
|
|
|
elf-error?
|
|
|
|
|
(elf elf-error-elf))
|
|
|
|
|
|
|
|
|
|
(define-condition-type &invalid-segment-size &elf-error
|
|
|
|
|
invalid-segment-size?
|
|
|
|
|
(segment invalid-segment-size-segment))
|
|
|
|
|
|
|
|
|
|
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(define (dynamic-link-segment elf)
|
|
|
|
|
"Return the 'PT_DYNAMIC' segment of ELF--i.e., the segment that contains
|
|
|
|
|
dynamic linking information."
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(let ((size (bytevector-length (elf-bytes elf))))
|
|
|
|
|
(find (lambda (segment)
|
|
|
|
|
(unless (<= (+ (elf-segment-offset segment)
|
|
|
|
|
(elf-segment-filesz segment))
|
|
|
|
|
size)
|
|
|
|
|
;; This happens on separate debug output files created by
|
|
|
|
|
;; 'strip --only-keep-debug' (Binutils 2.25.)
|
|
|
|
|
(raise (condition (&invalid-segment-size
|
|
|
|
|
(elf elf)
|
|
|
|
|
(segment segment)))))
|
|
|
|
|
|
|
|
|
|
(= (elf-segment-type segment) PT_DYNAMIC))
|
|
|
|
|
(elf-segments elf))))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
|
|
|
|
(define (word-reader size byte-order)
|
|
|
|
|
"Return a procedure to read a word of SIZE bytes according to BYTE-ORDER."
|
|
|
|
|
(case size
|
|
|
|
|
((8)
|
|
|
|
|
(lambda (bv index)
|
|
|
|
|
(bytevector-u64-ref bv index byte-order)))
|
|
|
|
|
((4)
|
|
|
|
|
(lambda (bv index)
|
|
|
|
|
(bytevector-u32-ref bv index byte-order)))))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;; Dynamic entry:
|
|
|
|
|
;;
|
|
|
|
|
;; typedef struct
|
|
|
|
|
;; {
|
|
|
|
|
;; Elf64_Sxword d_tag; /* Dynamic entry type */
|
|
|
|
|
;; union
|
|
|
|
|
;; {
|
|
|
|
|
;; Elf64_Xword d_val; /* Integer value */
|
|
|
|
|
;; Elf64_Addr d_ptr; /* Address value */
|
|
|
|
|
;; } d_un;
|
|
|
|
|
;; } Elf64_Dyn;
|
|
|
|
|
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(define-record-type <dynamic-entry>
|
|
|
|
|
(dynamic-entry type value offset)
|
|
|
|
|
dynamic-entry?
|
|
|
|
|
(type dynamic-entry-type) ;DT_*
|
|
|
|
|
(value dynamic-entry-value) ;string | number | ...
|
|
|
|
|
(offset dynamic-entry-offset)) ;integer
|
|
|
|
|
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(define (raw-dynamic-entries elf segment)
|
2018-04-17 06:32:56 -04:00
|
|
|
|
"Return as a list of <dynamic-entry> for the dynamic entries found in
|
|
|
|
|
SEGMENT, the 'PT_DYNAMIC' segment of ELF."
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(define start
|
|
|
|
|
(elf-segment-offset segment))
|
|
|
|
|
(define bytes
|
|
|
|
|
(elf-bytes elf))
|
|
|
|
|
(define word-size
|
|
|
|
|
(elf-word-size elf))
|
|
|
|
|
(define byte-order
|
|
|
|
|
(elf-byte-order elf))
|
|
|
|
|
(define read-word
|
|
|
|
|
(word-reader word-size byte-order))
|
|
|
|
|
|
|
|
|
|
(let loop ((offset 0)
|
|
|
|
|
(result '()))
|
|
|
|
|
(if (>= offset (elf-segment-memsz segment))
|
|
|
|
|
(reverse result)
|
|
|
|
|
(let ((type (read-word bytes (+ start offset)))
|
|
|
|
|
(value (read-word bytes (+ start offset word-size))))
|
|
|
|
|
(if (= type DT_NULL) ;finished?
|
|
|
|
|
(reverse result)
|
|
|
|
|
(loop (+ offset (* 2 word-size))
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(cons (dynamic-entry type value
|
|
|
|
|
(+ start offset word-size))
|
|
|
|
|
result)))))))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
|
|
|
|
(define (vma->offset elf vma)
|
|
|
|
|
"Convert VMA, a virtual memory address, to an offset within ELF.
|
|
|
|
|
|
|
|
|
|
Do that by looking at the loadable program segment (PT_LOAD) of ELF that
|
|
|
|
|
contains VMA and by taking into account that segment's virtual address and
|
|
|
|
|
offset."
|
|
|
|
|
;; See 'offset_from_vma' in Binutils.
|
|
|
|
|
(define loads
|
|
|
|
|
(filter (lambda (segment)
|
|
|
|
|
(= (elf-segment-type segment) PT_LOAD))
|
|
|
|
|
(elf-segments elf)))
|
|
|
|
|
|
|
|
|
|
(let ((load (find (lambda (segment)
|
|
|
|
|
(let ((vaddr (elf-segment-vaddr segment)))
|
|
|
|
|
(and (>= vma vaddr)
|
|
|
|
|
(< vma (+ (elf-segment-memsz segment)
|
|
|
|
|
vaddr)))))
|
|
|
|
|
loads)))
|
|
|
|
|
(+ (- vma (elf-segment-vaddr load))
|
|
|
|
|
(elf-segment-offset load))))
|
|
|
|
|
|
|
|
|
|
(define (dynamic-entries elf segment)
|
|
|
|
|
"Return all the dynamic entries found in SEGMENT, the 'PT_DYNAMIC' segment
|
2018-04-17 06:32:56 -04:00
|
|
|
|
of ELF, as a list of <dynamic-entry>. The value of each entry may be a string
|
|
|
|
|
or an integer depending on the entry type (for instance, the value of
|
|
|
|
|
DT_NEEDED entries is a string.) Likewise the offset is the offset within the
|
|
|
|
|
string table if the type is a string."
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(define entries
|
|
|
|
|
(raw-dynamic-entries elf segment))
|
|
|
|
|
|
|
|
|
|
(define string-table-offset
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(any (lambda (entry)
|
|
|
|
|
(and (= (dynamic-entry-type entry) DT_STRTAB)
|
|
|
|
|
(dynamic-entry-value entry)))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
entries))
|
|
|
|
|
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(define (interpret-dynamic-entry entry)
|
|
|
|
|
(let ((type (dynamic-entry-type entry))
|
|
|
|
|
(value (dynamic-entry-value entry)))
|
|
|
|
|
(cond ((memv type (list DT_NEEDED DT_SONAME DT_RPATH DT_RUNPATH))
|
|
|
|
|
(if string-table-offset
|
|
|
|
|
(let* ((offset (vma->offset elf (+ string-table-offset value)))
|
|
|
|
|
(value (pointer->string
|
|
|
|
|
(bytevector->pointer (elf-bytes elf) offset))))
|
|
|
|
|
(dynamic-entry type value offset))
|
|
|
|
|
(dynamic-entry type value (dynamic-entry-offset entry))))
|
|
|
|
|
(else
|
|
|
|
|
(dynamic-entry type value (dynamic-entry-offset entry))))))
|
|
|
|
|
|
|
|
|
|
(map interpret-dynamic-entry entries))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; High-level interface.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define-record-type <elf-dynamic-info>
|
|
|
|
|
(%elf-dynamic-info soname needed rpath runpath)
|
|
|
|
|
elf-dynamic-info?
|
|
|
|
|
(soname elf-dynamic-info-soname)
|
|
|
|
|
(needed elf-dynamic-info-needed)
|
|
|
|
|
(rpath elf-dynamic-info-rpath)
|
|
|
|
|
(runpath elf-dynamic-info-runpath))
|
|
|
|
|
|
|
|
|
|
(define search-path->list
|
|
|
|
|
(let ((not-colon (char-set-complement (char-set #\:))))
|
|
|
|
|
(lambda (str)
|
|
|
|
|
"Split STR on ':' characters."
|
|
|
|
|
(string-tokenize str not-colon))))
|
|
|
|
|
|
|
|
|
|
(define (elf-dynamic-info elf)
|
|
|
|
|
"Return dynamic-link information for ELF as an <elf-dynamic-info> object, or
|
|
|
|
|
#f if ELF lacks dynamic-link information."
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(define (matching-entry type)
|
|
|
|
|
(lambda (entry)
|
|
|
|
|
(= type (dynamic-entry-type entry))))
|
|
|
|
|
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(match (dynamic-link-segment elf)
|
|
|
|
|
(#f #f)
|
|
|
|
|
((? elf-segment? dynamic)
|
|
|
|
|
(let ((entries (dynamic-entries elf dynamic)))
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(%elf-dynamic-info (find (matching-entry DT_SONAME) entries)
|
|
|
|
|
(filter-map (lambda (entry)
|
|
|
|
|
(and (= (dynamic-entry-type entry)
|
|
|
|
|
DT_NEEDED)
|
|
|
|
|
(dynamic-entry-value entry)))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
entries)
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(or (and=> (find (matching-entry DT_RPATH)
|
|
|
|
|
entries)
|
|
|
|
|
(compose search-path->list
|
|
|
|
|
dynamic-entry-value))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
'())
|
2018-04-17 06:32:56 -04:00
|
|
|
|
(or (and=> (find (matching-entry DT_RUNPATH)
|
|
|
|
|
entries)
|
|
|
|
|
(compose search-path->list
|
|
|
|
|
dynamic-entry-value))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
'()))))))
|
|
|
|
|
|
|
|
|
|
(define %libc-libraries
|
|
|
|
|
;; List of libraries as of glibc 2.21 (there are more but those are
|
|
|
|
|
;; typically mean to be LD_PRELOADed and thus do not appear as NEEDED.)
|
|
|
|
|
'("libanl.so"
|
|
|
|
|
"libcrypt.so"
|
|
|
|
|
"libc.so"
|
|
|
|
|
"libdl.so"
|
|
|
|
|
"libm.so"
|
2015-04-01 07:46:01 -04:00
|
|
|
|
"libnsl.so" ;NEEDED by nscd
|
2015-03-31 16:10:08 -04:00
|
|
|
|
"libpthread.so"
|
|
|
|
|
"libresolv.so"
|
|
|
|
|
"librt.so"
|
|
|
|
|
"libutil.so"))
|
|
|
|
|
|
|
|
|
|
(define (libc-library? lib)
|
|
|
|
|
"Return #t if LIB is one of the libraries shipped with the GNU C Library."
|
|
|
|
|
(find (lambda (libc-lib)
|
|
|
|
|
(string-prefix? libc-lib lib))
|
|
|
|
|
%libc-libraries))
|
|
|
|
|
|
2015-04-23 05:23:14 -04:00
|
|
|
|
(define (expand-variable str variable value)
|
|
|
|
|
"Replace occurrences of '$VARIABLE' or '${VARIABLE}' in STR with VALUE."
|
|
|
|
|
(define variables
|
|
|
|
|
(list (string-append "$" variable)
|
|
|
|
|
(string-append "${" variable "}")))
|
|
|
|
|
|
|
|
|
|
(let loop ((thing variables)
|
|
|
|
|
(str str))
|
|
|
|
|
(match thing
|
|
|
|
|
(()
|
|
|
|
|
str)
|
|
|
|
|
((head tail ...)
|
|
|
|
|
(let ((index (string-contains str head))
|
|
|
|
|
(len (string-length head)))
|
|
|
|
|
(loop (if index variables tail)
|
|
|
|
|
(if index
|
|
|
|
|
(string-replace str value
|
|
|
|
|
index (+ index len))
|
|
|
|
|
str)))))))
|
|
|
|
|
|
|
|
|
|
(define (expand-origin str directory)
|
|
|
|
|
"Replace occurrences of '$ORIGIN' in STR with DIRECTORY."
|
|
|
|
|
(expand-variable str "ORIGIN" directory))
|
|
|
|
|
|
2015-03-31 16:10:08 -04:00
|
|
|
|
(define* (validate-needed-in-runpath file
|
|
|
|
|
#:key (always-found? libc-library?))
|
|
|
|
|
"Return #t if all the libraries listed as FILE's 'DT_NEEDED' entries are
|
|
|
|
|
present in its RUNPATH, or if FILE lacks dynamic-link information. Return #f
|
|
|
|
|
otherwise. Libraries whose name matches ALWAYS-FOUND? are considered to be
|
|
|
|
|
always available."
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(guard (c ((invalid-segment-size? c)
|
|
|
|
|
(let ((segment (invalid-segment-size-segment c)))
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"~a: error: offset + size of segment ~a (type ~a) \
|
|
|
|
|
exceeds total size~%"
|
|
|
|
|
file
|
|
|
|
|
(elf-segment-index segment)
|
|
|
|
|
(elf-segment-type segment))
|
|
|
|
|
#f)))
|
|
|
|
|
|
|
|
|
|
(let* ((elf (call-with-input-file file
|
|
|
|
|
(compose parse-elf get-bytevector-all)))
|
2015-04-23 05:23:14 -04:00
|
|
|
|
(expand (cute expand-origin <> (dirname file)))
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(dyninfo (elf-dynamic-info elf)))
|
|
|
|
|
(when dyninfo
|
2015-04-23 05:23:14 -04:00
|
|
|
|
;; XXX: In theory we should also expand $PLATFORM and $LIB, but these
|
|
|
|
|
;; appear to be really unused.
|
|
|
|
|
(let* ((expanded (map expand (elf-dynamic-info-runpath dyninfo)))
|
|
|
|
|
(runpath (filter store-file-name? expanded))
|
|
|
|
|
(bogus (remove store-file-name? expanded))
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(needed (remove always-found?
|
|
|
|
|
(elf-dynamic-info-needed dyninfo)))
|
|
|
|
|
(not-found (remove (cut search-path runpath <>)
|
|
|
|
|
needed)))
|
2015-04-05 09:31:55 -04:00
|
|
|
|
(unless (null? bogus)
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"~a: warning: RUNPATH contains bogus entries: ~s~%"
|
|
|
|
|
file bogus))
|
|
|
|
|
|
2015-04-01 08:02:49 -04:00
|
|
|
|
(for-each (lambda (lib)
|
|
|
|
|
(format (current-error-port)
|
2015-04-05 09:31:55 -04:00
|
|
|
|
"~a: error: depends on '~a', which cannot \
|
2015-03-31 16:10:08 -04:00
|
|
|
|
be found in RUNPATH ~s~%"
|
2015-04-01 08:02:49 -04:00
|
|
|
|
file lib runpath))
|
|
|
|
|
not-found)
|
|
|
|
|
;; (when (null? not-found)
|
|
|
|
|
;; (format (current-error-port) "~a is OK~%" file))
|
|
|
|
|
(null? not-found))))))
|
2015-03-31 16:10:08 -04:00
|
|
|
|
|
2018-04-17 07:38:12 -04:00
|
|
|
|
(define (strip-runpath file)
|
|
|
|
|
"Remove from the DT_RUNPATH of FILE any entries that are not necessary
|
|
|
|
|
according to DT_NEEDED."
|
|
|
|
|
(define (minimal-runpath needed runpath)
|
|
|
|
|
(filter (lambda (directory)
|
|
|
|
|
(and (string-prefix? "/" directory)
|
|
|
|
|
(any (lambda (lib)
|
|
|
|
|
(file-exists? (string-append directory "/" lib)))
|
|
|
|
|
needed)))
|
|
|
|
|
runpath))
|
|
|
|
|
|
|
|
|
|
(define port
|
|
|
|
|
(open-file file "r+b"))
|
|
|
|
|
|
|
|
|
|
(catch #t
|
|
|
|
|
(lambda ()
|
|
|
|
|
(let* ((elf (parse-elf (get-bytevector-all port)))
|
|
|
|
|
(entries (dynamic-entries elf (dynamic-link-segment elf)))
|
|
|
|
|
(needed (filter-map (lambda (entry)
|
|
|
|
|
(and (= (dynamic-entry-type entry)
|
|
|
|
|
DT_NEEDED)
|
|
|
|
|
(dynamic-entry-value entry)))
|
|
|
|
|
entries))
|
|
|
|
|
(runpath (find (lambda (entry)
|
|
|
|
|
(= DT_RUNPATH (dynamic-entry-type entry)))
|
|
|
|
|
entries))
|
|
|
|
|
(old (search-path->list
|
|
|
|
|
(dynamic-entry-value runpath)))
|
|
|
|
|
(new (minimal-runpath needed old)))
|
|
|
|
|
(unless (equal? old new)
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"~a: stripping RUNPATH to ~s (removed ~s)~%"
|
|
|
|
|
file new
|
|
|
|
|
(lset-difference string=? old new))
|
|
|
|
|
(seek port (dynamic-entry-offset runpath) SEEK_SET)
|
|
|
|
|
(put-bytevector port (string->utf8 (string-join new ":")))
|
|
|
|
|
(put-u8 port 0))
|
|
|
|
|
(close-port port)
|
|
|
|
|
new))
|
|
|
|
|
(lambda (key . args)
|
|
|
|
|
(false-if-exception (close-port port))
|
|
|
|
|
(apply throw key args))))
|
|
|
|
|
|
2015-03-31 16:10:08 -04:00
|
|
|
|
;;; gremlin.scm ends here
|