gnu: Remove dead cups-CVE-2020-10001.patch.
[jackhill/guix/guix.git] / tests / gremlin.scm
CommitLineData
15aa2c38 1;;; GNU Guix --- Functional package management for GNU
49a1203d 2;;; Copyright © 2015, 2018, 2020 Ludovic Courtès <ludo@gnu.org>
15aa2c38
LC
3;;;
4;;; This file is part of GNU Guix.
5;;;
6;;; GNU Guix is free software; you can redistribute it and/or modify it
7;;; under the terms of the GNU General Public License as published by
8;;; the Free Software Foundation; either version 3 of the License, or (at
9;;; your option) any later version.
10;;;
11;;; GNU Guix is distributed in the hope that it will be useful, but
12;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
18
19(define-module (test-gremlin)
20 #:use-module (guix elf)
b178fc23 21 #:use-module ((guix utils) #:select (call-with-temporary-directory))
15aa2c38
LC
22 #:use-module (guix build utils)
23 #:use-module (guix build gremlin)
24 #:use-module (srfi srfi-1)
cd91504d 25 #:use-module (srfi srfi-26)
49a1203d 26 #:use-module (srfi srfi-34)
15aa2c38
LC
27 #:use-module (srfi srfi-64)
28 #:use-module (rnrs io ports)
b178fc23 29 #:use-module (ice-9 popen)
53fd256e
LC
30 #:use-module (ice-9 rdelim)
31 #:use-module (ice-9 regex)
15aa2c38
LC
32 #:use-module (ice-9 match))
33
34(define %guile-executable
f7dfda2c
LC
35 (match (false-if-exception (readlink "/proc/self/exe"))
36 ((? string? program)
15aa2c38
LC
37 (and (file-exists? program) (elf-file? program)
38 program))
39 (_
40 #f)))
41
42(define read-elf
43 (compose parse-elf get-bytevector-all))
44
b178fc23
LC
45(define c-compiler
46 (or (which "gcc") (which "cc") (which "g++")))
47
15aa2c38
LC
48\f
49(test-begin "gremlin")
50
51(unless %guile-executable (test-skip 1))
52(test-assert "elf-dynamic-info-needed, executable"
53 (let* ((elf (call-with-input-file %guile-executable read-elf))
54 (dyninfo (elf-dynamic-info elf)))
55 (or (not dyninfo) ;static executable
56 (lset<= string=?
57 (list (string-append "libguile-" (effective-version))
6b974159 58 "libc")
15aa2c38
LC
59 (map (lambda (lib)
60 (string-take lib (string-contains lib ".so")))
61 (elf-dynamic-info-needed dyninfo))))))
62
53fd256e
LC
63(unless (and %guile-executable (not (getenv "LD_LIBRARY_PATH"))
64 (file-needed %guile-executable)) ;statically linked?
65 (test-skip 1))
66(test-assert "file-needed/recursive"
67 (let* ((needed (file-needed/recursive %guile-executable))
68 (pipe (dynamic-wind
69 (lambda ()
70 ;; Tell ld.so to list loaded objects, like 'ldd' does.
71 (setenv "LD_TRACE_LOADED_OBJECTS" "yup"))
72 (lambda ()
73 (open-pipe* OPEN_READ %guile-executable))
74 (lambda ()
75 (unsetenv "LD_TRACE_LOADED_OBJECTS")))))
76 (define ldd-rx
77 (make-regexp "^[[:blank:]]+([[:graph:]]+ => )?([[:graph:]]+) .*$"))
78
79 (define (read-ldd-output port)
80 ;; Read from PORT output in GNU ldd format.
81 (let loop ((result '()))
82 (match (read-line port)
83 ((? eof-object?)
84 (reverse result))
85 ((= (cut regexp-exec ldd-rx <>) m)
86 (if m
87 (loop (cons (match:substring m 2) result))
88 (loop result))))))
89
90 (define ground-truth
91 (remove (cut string-prefix? "linux-vdso.so" <>)
92 (read-ldd-output pipe)))
93
94 (and (zero? (close-pipe pipe))
95 (lset= string=? (pk 'truth ground-truth) (pk 'needed needed)))))
96
cd91504d
LC
97(test-equal "expand-origin"
98 '("OOO/../lib"
99 "OOO"
100 "../OOO/bar/OOO/baz"
101 "ORIGIN/foo")
102 (map (cut expand-origin <> "OOO")
103 '("$ORIGIN/../lib"
104 "${ORIGIN}"
105 "../${ORIGIN}/bar/$ORIGIN/baz"
106 "ORIGIN/foo")))
107
b178fc23
LC
108(unless c-compiler
109 (test-skip 1))
110(test-equal "strip-runpath"
111 "hello\n"
112 (call-with-temporary-directory
113 (lambda (directory)
114 (with-directory-excursion directory
115 (call-with-output-file "t.c"
116 (lambda (port)
117 (display "int main () { puts(\"hello\"); }" port)))
118 (invoke c-compiler "t.c"
6b974159 119 "-Wl,--enable-new-dtags" "-Wl,-rpath=/foo" "-Wl,-rpath=/bar")
b178fc23
LC
120 (let* ((dyninfo (elf-dynamic-info
121 (parse-elf (call-with-input-file "a.out"
122 get-bytevector-all))))
123 (old (elf-dynamic-info-runpath dyninfo))
124 (new (strip-runpath "a.out"))
125 (new* (strip-runpath "a.out")))
126 (validate-needed-in-runpath "a.out")
127 (and (member "/foo" old) (member "/bar" old)
128 (not (member "/foo" new))
129 (not (member "/bar" new))
130 (equal? new* new)
131 (let* ((pipe (open-input-pipe "./a.out"))
132 (str (get-string-all pipe)))
133 (close-pipe pipe)
134 str)))))))
135
49a1203d
LC
136(unless c-compiler
137 (test-skip 1))
138(test-equal "set-file-runpath + file-runpath"
139 "hello\n"
140 (call-with-temporary-directory
141 (lambda (directory)
142 (with-directory-excursion directory
143 (call-with-output-file "t.c"
144 (lambda (port)
145 (display "int main () { puts(\"hello\"); }" port)))
146
147 (invoke c-compiler "t.c"
148 "-Wl,--enable-new-dtags" "-Wl,-rpath=/xxxxxxxxx")
149
150 (let ((original-runpath (file-runpath "a.out")))
151 (and (member "/xxxxxxxxx" original-runpath)
152 (guard (c ((runpath-too-long-error? c)
153 (string=? "a.out" (runpath-too-long-error-file c))))
154 (set-file-runpath "a.out" (list (make-string 777 #\y))))
155 (let ((runpath (delete "/xxxxxxxxx" original-runpath)))
156 (set-file-runpath "a.out" runpath)
157 (equal? runpath (file-runpath "a.out")))
158 (let* ((pipe (open-input-pipe "./a.out"))
159 (str (get-string-all pipe)))
160 (close-pipe pipe)
161 str)))))))
162
10101712
DM
163(unless c-compiler
164 (test-skip 1))
165(test-equal "elf-dynamic-info-soname"
166 "libfoo.so.2"
167 (call-with-temporary-directory
168 (lambda (directory)
169 (with-directory-excursion directory
170 (call-with-output-file "t.c"
171 (lambda (port)
172 (display "// empty file" port)))
173 (invoke c-compiler "t.c"
174 "-shared" "-Wl,-soname,libfoo.so.2")
175 (let* ((dyninfo (elf-dynamic-info
176 (parse-elf (call-with-input-file "a.out"
177 get-bytevector-all))))
178 (soname (elf-dynamic-info-soname dyninfo)))
179 soname)))))
180
15aa2c38 181(test-end "gremlin")