1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
|
#!/bin/sh
set -eu
: "${CPU_AS:?}" "${CPU_LD:?}" "${CPU_RUN:?}" "${CPU_READELF:?}"
TMP=${TMPDIR:-/tmp}/libmcpu-needed-runtime-$$
mkdir -p "$TMP/lib"
trap 'rm -rf "$TMP"' EXIT HUP INT TERM
cat > "$TMP/main.s" <<'EOS'
.global _life
.extern afoo
.text
_start_life:
LDI r64@0x00000, 40
CALL afoo
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/a.s" <<'EOS'
.global afoo
.extern bfoo
.text
afoo:
CALL bfoo
RET
EOS
cat > "$TMP/b.s" <<'EOS'
.global bfoo
.text
bfoo:
LDI r64@0x00008, 2
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
"$CPU_AS" -o "$TMP/main.o" "$TMP/main.s"
"$CPU_AS" -o "$TMP/a.o" "$TMP/a.s"
"$CPU_AS" -o "$TMP/b.o" "$TMP/b.s"
# A real recursive graph: main -> liba.so.1 -> libb.so.1.
"$CPU_LD" --shared --soname=libb.so.1 \
-o "$TMP/lib/libb.so.1.0.0" "$TMP/b.o"
ln -s libb.so.1.0.0 "$TMP/lib/libb.so.1"
ln -s libb.so.1 "$TMP/lib/libb.so"
"$CPU_LD" --shared --soname=liba.so.1 \
-L"$TMP/lib" -lb -o "$TMP/lib/liba.so.1.0.0" "$TMP/a.o"
ln -s liba.so.1.0.0 "$TMP/lib/liba.so.1"
ln -s liba.so.1 "$TMP/lib/liba.so"
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/lib" -la -o "$TMP/main" "$TMP/main.o"
"$CPU_READELF" -d "$TMP/main" | grep -q 'NEEDED.*\[liba.so.1\]'
"$CPU_READELF" -d "$TMP/lib/liba.so.1.0.0" | \
grep -q 'NEEDED.*\[libb.so.1\]'
[ "`"$CPU_RUN" --library-path="$TMP/lib" \
--int-reg=r64@0x00018 "$TMP/main"`" = 42 ]
# A missing transitive dependency is reported by SONAME, before process load.
mv "$TMP/lib/libb.so.1" "$TMP/lib/libb.so.1.save"
if "$CPU_RUN" --library-path="$TMP/lib" "$TMP/main" \
>"$TMP/missing.out" 2>"$TMP/missing.err"; then
echo "missing transitive dependency unexpectedly loaded" >&2
exit 1
fi
grep -q "cannot resolve DT_NEEDED 'libb.so.1'" "$TMP/missing.err"
mv "$TMP/lib/libb.so.1.save" "$TMP/lib/libb.so.1"
# The resolved filename is not trusted: its internal SONAME must be the exact
# DT_NEEDED identity requested by the dependent object.
cat > "$TMP/wrong.s" <<'EOS'
.global afoo
.text
afoo:
RET
EOS
"$CPU_AS" -o "$TMP/wrong.o" "$TMP/wrong.s"
"$CPU_LD" --shared --soname=libwrong.so.9 \
-o "$TMP/lib/libwrong.so.9.0.0" "$TMP/wrong.o"
rm "$TMP/lib/liba.so.1"
ln -s libwrong.so.9.0.0 "$TMP/lib/liba.so.1"
if "$CPU_RUN" --library-path="$TMP/lib" "$TMP/main" \
>"$TMP/mismatch.out" 2>"$TMP/mismatch.err"; then
echo "SONAME mismatch unexpectedly loaded" >&2
exit 1
fi
grep -q "DT_NEEDED 'liba.so.1' resolved to SONAME 'libwrong.so.9'" \
"$TMP/mismatch.err"
rm "$TMP/lib/liba.so.1"
ln -s liba.so.1.0.0 "$TMP/lib/liba.so.1"
# Dependency cycles are legal graph edges. Registration by SONAME before
# recursive descent prevents A -> B -> A from recursing or loading twice.
cat > "$TMP/cycle-main.s" <<'EOS'
.global _life
.extern cycle_a
.text
_start_life:
LDI r64@0x00000, 40
CALL cycle_a
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/cycle-a.s" <<'EOS'
.global cycle_a
.text
cycle_a:
LDI r64@0x00008, 4
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
cat > "$TMP/cycle-b.s" <<'EOS'
.global cycle_b
.text
cycle_b:
RET
EOS
"$CPU_AS" -o "$TMP/cycle-main.o" "$TMP/cycle-main.s"
"$CPU_AS" -o "$TMP/cycle-a.o" "$TMP/cycle-a.s"
"$CPU_AS" -o "$TMP/cycle-b.o" "$TMP/cycle-b.s"
# Bootstrap one side of the cycle, build B -> A, then rebuild A -> B.
"$CPU_LD" --shared --soname=libcyclea.so.1 \
-o "$TMP/lib/libcyclea.so.1.0.0" "$TMP/cycle-a.o"
ln -s libcyclea.so.1.0.0 "$TMP/lib/libcyclea.so.1"
ln -s libcyclea.so.1 "$TMP/lib/libcyclea.so"
"$CPU_LD" --shared --soname=libcycleb.so.1 \
-L"$TMP/lib" -lcyclea \
-o "$TMP/lib/libcycleb.so.1.0.0" "$TMP/cycle-b.o"
ln -s libcycleb.so.1.0.0 "$TMP/lib/libcycleb.so.1"
ln -s libcycleb.so.1 "$TMP/lib/libcycleb.so"
"$CPU_LD" --shared --soname=libcyclea.so.1 \
-L"$TMP/lib" -lcycleb \
-o "$TMP/lib/libcyclea.so.1.0.0" "$TMP/cycle-a.o"
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/lib" -lcyclea -o "$TMP/cycle-main" "$TMP/cycle-main.o"
[ "`"$CPU_RUN" --library-path="$TMP/lib" \
--int-reg=r64@0x00018 "$TMP/cycle-main"`" = 44 ]
# Explicit preload remains the override mechanism. An ABI-v3 preload with the
# same SONAME satisfies the normal dependency and keeps the established
# explicit-preload priority.
cat > "$TMP/direct-main.s" <<'EOS'
.global _life
.extern foo
.text
_start_life:
LDI r64@0x00000, 40
CALL foo
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/foo.s" <<'EOS'
.global foo
.text
foo:
LDI r64@0x00008, 2
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
cat > "$TMP/override.s" <<'EOS'
.global foo
.text
foo:
LDI r64@0x00008, 3
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
"$CPU_AS" -o "$TMP/direct-main.o" "$TMP/direct-main.s"
"$CPU_AS" -o "$TMP/foo.o" "$TMP/foo.s"
"$CPU_AS" -o "$TMP/override.o" "$TMP/override.s"
"$CPU_LD" --shared --soname=libfoo.so.1 \
-o "$TMP/lib/libfoo.so.1.0.0" "$TMP/foo.o"
ln -s libfoo.so.1.0.0 "$TMP/lib/libfoo.so.1"
ln -s libfoo.so.1 "$TMP/lib/libfoo.so"
"$CPU_LD" --shared --soname=libfoo.so.1 \
-o "$TMP/override.so" "$TMP/override.o"
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/lib" -lfoo -o "$TMP/direct-main" "$TMP/direct-main.o"
[ "`"$CPU_RUN" --library-path="$TMP/lib" \
--int-reg=r64@0x00018 "$TMP/direct-main"`" = 42 ]
[ "`"$CPU_RUN" --library-path="$TMP/lib" \
--ldpreload="$TMP/override.so" \
--int-reg=r64@0x00018 "$TMP/direct-main"`" = 43 ]
exit 0
|
