1*4882a593Smuzhiyun /*
2*4882a593Smuzhiyun * vdso2c - A vdso image preparation tool
3*4882a593Smuzhiyun * Copyright (c) 2014 Andy Lutomirski and others
4*4882a593Smuzhiyun * Licensed under the GPL v2
5*4882a593Smuzhiyun *
6*4882a593Smuzhiyun * vdso2c requires stripped and unstripped input. It would be trivial
7*4882a593Smuzhiyun * to fully strip the input in here, but, for reasons described below,
8*4882a593Smuzhiyun * we need to write a section table. Doing this is more or less
9*4882a593Smuzhiyun * equivalent to dropping all non-allocatable sections, but it's
10*4882a593Smuzhiyun * easier to let objcopy handle that instead of doing it ourselves.
11*4882a593Smuzhiyun * If we ever need to do something fancier than what objcopy provides,
12*4882a593Smuzhiyun * it would be straightforward to add here.
13*4882a593Smuzhiyun *
14*4882a593Smuzhiyun * We're keep a section table for a few reasons:
15*4882a593Smuzhiyun *
16*4882a593Smuzhiyun * The Go runtime had a couple of bugs: it would read the section
17*4882a593Smuzhiyun * table to try to figure out how many dynamic symbols there were (it
18*4882a593Smuzhiyun * shouldn't have looked at the section table at all) and, if there
19*4882a593Smuzhiyun * were no SHT_SYNDYM section table entry, it would use an
20*4882a593Smuzhiyun * uninitialized value for the number of symbols. An empty DYNSYM
21*4882a593Smuzhiyun * table would work, but I see no reason not to write a valid one (and
22*4882a593Smuzhiyun * keep full performance for old Go programs). This hack is only
23*4882a593Smuzhiyun * needed on x86_64.
24*4882a593Smuzhiyun *
25*4882a593Smuzhiyun * The bug was introduced on 2012-08-31 by:
26*4882a593Smuzhiyun * https://code.google.com/p/go/source/detail?r=56ea40aac72b
27*4882a593Smuzhiyun * and was fixed on 2014-06-13 by:
28*4882a593Smuzhiyun * https://code.google.com/p/go/source/detail?r=fc1cd5e12595
29*4882a593Smuzhiyun *
30*4882a593Smuzhiyun * Binutils has issues debugging the vDSO: it reads the section table to
31*4882a593Smuzhiyun * find SHT_NOTE; it won't look at PT_NOTE for the in-memory vDSO, which
32*4882a593Smuzhiyun * would break build-id if we removed the section table. Binutils
33*4882a593Smuzhiyun * also requires that shstrndx != 0. See:
34*4882a593Smuzhiyun * https://sourceware.org/bugzilla/show_bug.cgi?id=17064
35*4882a593Smuzhiyun *
36*4882a593Smuzhiyun * elfutils might not look for PT_NOTE if there is a section table at
37*4882a593Smuzhiyun * all. I don't know whether this matters for any practical purpose.
38*4882a593Smuzhiyun *
39*4882a593Smuzhiyun * For simplicity, rather than hacking up a partial section table, we
40*4882a593Smuzhiyun * just write a mostly complete one. We omit non-dynamic symbols,
41*4882a593Smuzhiyun * though, since they're rather large.
42*4882a593Smuzhiyun *
43*4882a593Smuzhiyun * Once binutils gets fixed, we might be able to drop this for all but
44*4882a593Smuzhiyun * the 64-bit vdso, since build-id only works in kernel RPMs, and
45*4882a593Smuzhiyun * systems that update to new enough kernel RPMs will likely update
46*4882a593Smuzhiyun * binutils in sync. build-id has never worked for home-built kernel
47*4882a593Smuzhiyun * RPMs without manual symlinking, and I suspect that no one ever does
48*4882a593Smuzhiyun * that.
49*4882a593Smuzhiyun */
50*4882a593Smuzhiyun
51*4882a593Smuzhiyun #include <inttypes.h>
52*4882a593Smuzhiyun #include <stdint.h>
53*4882a593Smuzhiyun #include <unistd.h>
54*4882a593Smuzhiyun #include <stdarg.h>
55*4882a593Smuzhiyun #include <stdlib.h>
56*4882a593Smuzhiyun #include <stdio.h>
57*4882a593Smuzhiyun #include <string.h>
58*4882a593Smuzhiyun #include <fcntl.h>
59*4882a593Smuzhiyun #include <err.h>
60*4882a593Smuzhiyun
61*4882a593Smuzhiyun #include <sys/mman.h>
62*4882a593Smuzhiyun #include <sys/types.h>
63*4882a593Smuzhiyun
64*4882a593Smuzhiyun #include <tools/le_byteshift.h>
65*4882a593Smuzhiyun
66*4882a593Smuzhiyun #include <linux/elf.h>
67*4882a593Smuzhiyun #include <linux/types.h>
68*4882a593Smuzhiyun #include <linux/kernel.h>
69*4882a593Smuzhiyun
70*4882a593Smuzhiyun const char *outfilename;
71*4882a593Smuzhiyun
72*4882a593Smuzhiyun /* Symbols that we need in vdso2c. */
73*4882a593Smuzhiyun enum {
74*4882a593Smuzhiyun sym_vvar_start,
75*4882a593Smuzhiyun sym_vvar_page,
76*4882a593Smuzhiyun sym_pvclock_page,
77*4882a593Smuzhiyun sym_hvclock_page,
78*4882a593Smuzhiyun sym_timens_page,
79*4882a593Smuzhiyun };
80*4882a593Smuzhiyun
81*4882a593Smuzhiyun const int special_pages[] = {
82*4882a593Smuzhiyun sym_vvar_page,
83*4882a593Smuzhiyun sym_pvclock_page,
84*4882a593Smuzhiyun sym_hvclock_page,
85*4882a593Smuzhiyun sym_timens_page,
86*4882a593Smuzhiyun };
87*4882a593Smuzhiyun
88*4882a593Smuzhiyun struct vdso_sym {
89*4882a593Smuzhiyun const char *name;
90*4882a593Smuzhiyun bool export;
91*4882a593Smuzhiyun };
92*4882a593Smuzhiyun
93*4882a593Smuzhiyun struct vdso_sym required_syms[] = {
94*4882a593Smuzhiyun [sym_vvar_start] = {"vvar_start", true},
95*4882a593Smuzhiyun [sym_vvar_page] = {"vvar_page", true},
96*4882a593Smuzhiyun [sym_pvclock_page] = {"pvclock_page", true},
97*4882a593Smuzhiyun [sym_hvclock_page] = {"hvclock_page", true},
98*4882a593Smuzhiyun [sym_timens_page] = {"timens_page", true},
99*4882a593Smuzhiyun {"VDSO32_NOTE_MASK", true},
100*4882a593Smuzhiyun {"__kernel_vsyscall", true},
101*4882a593Smuzhiyun {"__kernel_sigreturn", true},
102*4882a593Smuzhiyun {"__kernel_rt_sigreturn", true},
103*4882a593Smuzhiyun {"int80_landing_pad", true},
104*4882a593Smuzhiyun };
105*4882a593Smuzhiyun
106*4882a593Smuzhiyun __attribute__((format(printf, 1, 2))) __attribute__((noreturn))
fail(const char * format,...)107*4882a593Smuzhiyun static void fail(const char *format, ...)
108*4882a593Smuzhiyun {
109*4882a593Smuzhiyun va_list ap;
110*4882a593Smuzhiyun va_start(ap, format);
111*4882a593Smuzhiyun fprintf(stderr, "Error: ");
112*4882a593Smuzhiyun vfprintf(stderr, format, ap);
113*4882a593Smuzhiyun if (outfilename)
114*4882a593Smuzhiyun unlink(outfilename);
115*4882a593Smuzhiyun exit(1);
116*4882a593Smuzhiyun va_end(ap);
117*4882a593Smuzhiyun }
118*4882a593Smuzhiyun
119*4882a593Smuzhiyun /*
120*4882a593Smuzhiyun * Evil macros for little-endian reads and writes
121*4882a593Smuzhiyun */
122*4882a593Smuzhiyun #define GLE(x, bits, ifnot) \
123*4882a593Smuzhiyun __builtin_choose_expr( \
124*4882a593Smuzhiyun (sizeof(*(x)) == bits/8), \
125*4882a593Smuzhiyun (__typeof__(*(x)))get_unaligned_le##bits(x), ifnot)
126*4882a593Smuzhiyun
127*4882a593Smuzhiyun extern void bad_get_le(void);
128*4882a593Smuzhiyun #define LAST_GLE(x) \
129*4882a593Smuzhiyun __builtin_choose_expr(sizeof(*(x)) == 1, *(x), bad_get_le())
130*4882a593Smuzhiyun
131*4882a593Smuzhiyun #define GET_LE(x) \
132*4882a593Smuzhiyun GLE(x, 64, GLE(x, 32, GLE(x, 16, LAST_GLE(x))))
133*4882a593Smuzhiyun
134*4882a593Smuzhiyun #define PLE(x, val, bits, ifnot) \
135*4882a593Smuzhiyun __builtin_choose_expr( \
136*4882a593Smuzhiyun (sizeof(*(x)) == bits/8), \
137*4882a593Smuzhiyun put_unaligned_le##bits((val), (x)), ifnot)
138*4882a593Smuzhiyun
139*4882a593Smuzhiyun extern void bad_put_le(void);
140*4882a593Smuzhiyun #define LAST_PLE(x, val) \
141*4882a593Smuzhiyun __builtin_choose_expr(sizeof(*(x)) == 1, *(x) = (val), bad_put_le())
142*4882a593Smuzhiyun
143*4882a593Smuzhiyun #define PUT_LE(x, val) \
144*4882a593Smuzhiyun PLE(x, val, 64, PLE(x, val, 32, PLE(x, val, 16, LAST_PLE(x, val))))
145*4882a593Smuzhiyun
146*4882a593Smuzhiyun
147*4882a593Smuzhiyun #define NSYMS ARRAY_SIZE(required_syms)
148*4882a593Smuzhiyun
149*4882a593Smuzhiyun #define BITSFUNC3(name, bits, suffix) name##bits##suffix
150*4882a593Smuzhiyun #define BITSFUNC2(name, bits, suffix) BITSFUNC3(name, bits, suffix)
151*4882a593Smuzhiyun #define BITSFUNC(name) BITSFUNC2(name, ELF_BITS, )
152*4882a593Smuzhiyun
153*4882a593Smuzhiyun #define INT_BITS BITSFUNC2(int, ELF_BITS, _t)
154*4882a593Smuzhiyun
155*4882a593Smuzhiyun #define ELF_BITS_XFORM2(bits, x) Elf##bits##_##x
156*4882a593Smuzhiyun #define ELF_BITS_XFORM(bits, x) ELF_BITS_XFORM2(bits, x)
157*4882a593Smuzhiyun #define ELF(x) ELF_BITS_XFORM(ELF_BITS, x)
158*4882a593Smuzhiyun
159*4882a593Smuzhiyun #define ELF_BITS 64
160*4882a593Smuzhiyun #include "vdso2c.h"
161*4882a593Smuzhiyun #undef ELF_BITS
162*4882a593Smuzhiyun
163*4882a593Smuzhiyun #define ELF_BITS 32
164*4882a593Smuzhiyun #include "vdso2c.h"
165*4882a593Smuzhiyun #undef ELF_BITS
166*4882a593Smuzhiyun
go(void * raw_addr,size_t raw_len,void * stripped_addr,size_t stripped_len,FILE * outfile,const char * name)167*4882a593Smuzhiyun static void go(void *raw_addr, size_t raw_len,
168*4882a593Smuzhiyun void *stripped_addr, size_t stripped_len,
169*4882a593Smuzhiyun FILE *outfile, const char *name)
170*4882a593Smuzhiyun {
171*4882a593Smuzhiyun Elf64_Ehdr *hdr = (Elf64_Ehdr *)raw_addr;
172*4882a593Smuzhiyun
173*4882a593Smuzhiyun if (hdr->e_ident[EI_CLASS] == ELFCLASS64) {
174*4882a593Smuzhiyun go64(raw_addr, raw_len, stripped_addr, stripped_len,
175*4882a593Smuzhiyun outfile, name);
176*4882a593Smuzhiyun } else if (hdr->e_ident[EI_CLASS] == ELFCLASS32) {
177*4882a593Smuzhiyun go32(raw_addr, raw_len, stripped_addr, stripped_len,
178*4882a593Smuzhiyun outfile, name);
179*4882a593Smuzhiyun } else {
180*4882a593Smuzhiyun fail("unknown ELF class\n");
181*4882a593Smuzhiyun }
182*4882a593Smuzhiyun }
183*4882a593Smuzhiyun
map_input(const char * name,void ** addr,size_t * len,int prot)184*4882a593Smuzhiyun static void map_input(const char *name, void **addr, size_t *len, int prot)
185*4882a593Smuzhiyun {
186*4882a593Smuzhiyun off_t tmp_len;
187*4882a593Smuzhiyun
188*4882a593Smuzhiyun int fd = open(name, O_RDONLY);
189*4882a593Smuzhiyun if (fd == -1)
190*4882a593Smuzhiyun err(1, "open(%s)", name);
191*4882a593Smuzhiyun
192*4882a593Smuzhiyun tmp_len = lseek(fd, 0, SEEK_END);
193*4882a593Smuzhiyun if (tmp_len == (off_t)-1)
194*4882a593Smuzhiyun err(1, "lseek");
195*4882a593Smuzhiyun *len = (size_t)tmp_len;
196*4882a593Smuzhiyun
197*4882a593Smuzhiyun *addr = mmap(NULL, tmp_len, prot, MAP_PRIVATE, fd, 0);
198*4882a593Smuzhiyun if (*addr == MAP_FAILED)
199*4882a593Smuzhiyun err(1, "mmap");
200*4882a593Smuzhiyun
201*4882a593Smuzhiyun close(fd);
202*4882a593Smuzhiyun }
203*4882a593Smuzhiyun
main(int argc,char ** argv)204*4882a593Smuzhiyun int main(int argc, char **argv)
205*4882a593Smuzhiyun {
206*4882a593Smuzhiyun size_t raw_len, stripped_len;
207*4882a593Smuzhiyun void *raw_addr, *stripped_addr;
208*4882a593Smuzhiyun FILE *outfile;
209*4882a593Smuzhiyun char *name, *tmp;
210*4882a593Smuzhiyun int namelen;
211*4882a593Smuzhiyun
212*4882a593Smuzhiyun if (argc != 4) {
213*4882a593Smuzhiyun printf("Usage: vdso2c RAW_INPUT STRIPPED_INPUT OUTPUT\n");
214*4882a593Smuzhiyun return 1;
215*4882a593Smuzhiyun }
216*4882a593Smuzhiyun
217*4882a593Smuzhiyun /*
218*4882a593Smuzhiyun * Figure out the struct name. If we're writing to a .so file,
219*4882a593Smuzhiyun * generate raw output insted.
220*4882a593Smuzhiyun */
221*4882a593Smuzhiyun name = strdup(argv[3]);
222*4882a593Smuzhiyun namelen = strlen(name);
223*4882a593Smuzhiyun if (namelen >= 3 && !strcmp(name + namelen - 3, ".so")) {
224*4882a593Smuzhiyun name = NULL;
225*4882a593Smuzhiyun } else {
226*4882a593Smuzhiyun tmp = strrchr(name, '/');
227*4882a593Smuzhiyun if (tmp)
228*4882a593Smuzhiyun name = tmp + 1;
229*4882a593Smuzhiyun tmp = strchr(name, '.');
230*4882a593Smuzhiyun if (tmp)
231*4882a593Smuzhiyun *tmp = '\0';
232*4882a593Smuzhiyun for (tmp = name; *tmp; tmp++)
233*4882a593Smuzhiyun if (*tmp == '-')
234*4882a593Smuzhiyun *tmp = '_';
235*4882a593Smuzhiyun }
236*4882a593Smuzhiyun
237*4882a593Smuzhiyun map_input(argv[1], &raw_addr, &raw_len, PROT_READ);
238*4882a593Smuzhiyun map_input(argv[2], &stripped_addr, &stripped_len, PROT_READ);
239*4882a593Smuzhiyun
240*4882a593Smuzhiyun outfilename = argv[3];
241*4882a593Smuzhiyun outfile = fopen(outfilename, "w");
242*4882a593Smuzhiyun if (!outfile)
243*4882a593Smuzhiyun err(1, "fopen(%s)", outfilename);
244*4882a593Smuzhiyun
245*4882a593Smuzhiyun go(raw_addr, raw_len, stripped_addr, stripped_len, outfile, name);
246*4882a593Smuzhiyun
247*4882a593Smuzhiyun munmap(raw_addr, raw_len);
248*4882a593Smuzhiyun munmap(stripped_addr, stripped_len);
249*4882a593Smuzhiyun fclose(outfile);
250*4882a593Smuzhiyun
251*4882a593Smuzhiyun return 0;
252*4882a593Smuzhiyun }
253