blob: e95aa28ce0f76026bbe1f61606b23053bb20dd0a [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/* Postprocess module symbol versions
2 *
3 * Copyright 2003 Kai Germaschewski
4 * Copyright 2002-2004 Rusty Russell, IBM Corporation
Sam Ravnborgdf578e72008-01-11 19:17:15 +01005 * Copyright 2006-2008 Sam Ravnborg
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 * Based in part on module-init-tools/depmod.c,file2alias
7 *
8 * This software may be used and distributed according to the terms
9 * of the GNU General Public License, incorporated herein by reference.
10 *
11 * Usage: modpost vmlinux module1.o module2.o ...
12 */
13
Mathieu Desnoyersb2e3e652008-02-13 15:03:39 -080014#define _GNU_SOURCE
15#include <stdio.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <ctype.h>
Andrew Morton5003bab2010-08-11 00:42:26 -070017#include <string.h>
Rusty Russell712f9b42013-04-04 17:37:38 +103018#include <limits.h>
Rusty Russelld4ef1c32013-04-04 17:37:32 +103019#include <stdbool.h>
Guenter Roeckeed380f2013-09-23 15:23:54 +093020#include <errno.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070021#include "modpost.h"
Linus Torvalds5a865c02009-12-17 07:23:42 -080022#include "../../include/generated/autoconf.h"
Sam Ravnborgb817f6f2006-06-09 21:53:55 +020023#include "../../include/linux/license.h"
Rusty Russellb92021b2013-03-15 15:04:17 +103024#include "../../include/linux/export.h"
Alan Jenkins9e1b9b82009-11-07 21:03:54 +000025
Linus Torvalds1da177e2005-04-16 15:20:36 -070026/* Are we using CONFIG_MODVERSIONS? */
Mathias Krause7a3ee752014-08-27 20:28:53 +093027static int modversions = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070028/* Warn about undefined symbols? (do so if we have vmlinux) */
Mathias Krause7a3ee752014-08-27 20:28:53 +093029static int have_vmlinux = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070030/* Is CONFIG_MODULE_SRCVERSION_ALL set? */
31static int all_versions = 0;
Sam Ravnborg040fcc82006-01-28 22:15:55 +010032/* If we are modposting external module set to 1 */
33static int external_module = 0;
Sam Ravnborg8d8d8282007-07-20 22:36:56 +020034/* Warn about section mismatch in vmlinux if set to 1 */
35static int vmlinux_section_warnings = 1;
Kirill Korotaevc53ddac2006-09-07 13:08:54 -070036/* Only warn about unresolved symbols */
37static int warn_unresolved = 0;
Ram Paibd5cbce2006-06-08 22:12:53 -070038/* How a symbol is exported */
Sam Ravnborg588ccd72008-01-24 21:12:37 +010039static int sec_mismatch_count = 0;
40static int sec_mismatch_verbose = 1;
Guenter Roeckeed380f2013-09-23 15:23:54 +093041/* ignore missing files */
42static int ignore_missing_files;
Sam Ravnborg588ccd72008-01-24 21:12:37 +010043
Sam Ravnborgc96fca22006-07-01 11:44:23 +020044enum export {
45 export_plain, export_unused, export_gpl,
46 export_unused_gpl, export_gpl_future, export_unknown
47};
Linus Torvalds1da177e2005-04-16 15:20:36 -070048
Andi Kleen6d9a89e2007-11-22 03:43:08 +010049#define PRINTF __attribute__ ((format (printf, 1, 2)))
50
51PRINTF void fatal(const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -070052{
53 va_list arglist;
54
55 fprintf(stderr, "FATAL: ");
56
57 va_start(arglist, fmt);
58 vfprintf(stderr, fmt, arglist);
59 va_end(arglist);
60
61 exit(1);
62}
63
Andi Kleen6d9a89e2007-11-22 03:43:08 +010064PRINTF void warn(const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -070065{
66 va_list arglist;
67
68 fprintf(stderr, "WARNING: ");
69
70 va_start(arglist, fmt);
71 vfprintf(stderr, fmt, arglist);
72 va_end(arglist);
73}
74
Andi Kleen6d9a89e2007-11-22 03:43:08 +010075PRINTF void merror(const char *fmt, ...)
Matthew Wilcox2a116652006-10-07 05:35:32 -060076{
77 va_list arglist;
78
79 fprintf(stderr, "ERROR: ");
80
81 va_start(arglist, fmt);
82 vfprintf(stderr, fmt, arglist);
83 va_end(arglist);
84}
85
Rusty Russelld4ef1c32013-04-04 17:37:32 +103086static inline bool strends(const char *str, const char *postfix)
87{
88 if (strlen(str) < strlen(postfix))
89 return false;
90
91 return strcmp(str + strlen(str) - strlen(postfix), postfix) == 0;
92}
93
Sam Ravnborg040fcc82006-01-28 22:15:55 +010094static int is_vmlinux(const char *modname)
95{
96 const char *myname;
97
Sam Ravnborgdf578e72008-01-11 19:17:15 +010098 myname = strrchr(modname, '/');
99 if (myname)
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100100 myname++;
101 else
102 myname = modname;
103
Sam Ravnborg741f98f2007-07-17 10:54:06 +0200104 return (strcmp(myname, "vmlinux") == 0) ||
105 (strcmp(myname, "vmlinux.o") == 0);
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100106}
107
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108void *do_nofail(void *ptr, const char *expr)
109{
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100110 if (!ptr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111 fatal("modpost: Memory allocation failure: %s.\n", expr);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100112
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113 return ptr;
114}
115
116/* A list of all modules we processed */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700117static struct module *modules;
118
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100119static struct module *find_module(char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120{
121 struct module *mod;
122
123 for (mod = modules; mod; mod = mod->next)
124 if (strcmp(mod->name, modname) == 0)
125 break;
126 return mod;
127}
128
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030129static struct module *new_module(const char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130{
131 struct module *mod;
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030132 char *p;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100133
Linus Torvalds1da177e2005-04-16 15:20:36 -0700134 mod = NOFAIL(malloc(sizeof(*mod)));
135 memset(mod, 0, sizeof(*mod));
136 p = NOFAIL(strdup(modname));
137
138 /* strip trailing .o */
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030139 if (strends(p, ".o")) {
140 p[strlen(p) - 2] = '\0';
141 mod->is_dot_o = 1;
142 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143
144 /* add to list */
145 mod->name = p;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200146 mod->gpl_compatible = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147 mod->next = modules;
148 modules = mod;
149
150 return mod;
151}
152
153/* A hash of all exported symbols,
154 * struct symbol is also used for lists of unresolved symbols */
155
156#define SYMBOL_HASH_SIZE 1024
157
158struct symbol {
159 struct symbol *next;
160 struct module *module;
161 unsigned int crc;
162 int crc_valid;
163 unsigned int weak:1;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100164 unsigned int vmlinux:1; /* 1 if symbol is defined in vmlinux */
165 unsigned int kernel:1; /* 1 if symbol is from kernel
166 * (only for external modules) **/
Rusty Russellb6568b12013-11-07 12:09:13 +1030167 unsigned int preloaded:1; /* 1 if symbol from Module.symvers, or crc */
Ram Paibd5cbce2006-06-08 22:12:53 -0700168 enum export export; /* Type of export */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169 char name[0];
170};
171
172static struct symbol *symbolhash[SYMBOL_HASH_SIZE];
173
174/* This is based on the hash agorithm from gdbm, via tdb */
175static inline unsigned int tdb_hash(const char *name)
176{
177 unsigned value; /* Used to compute the hash value. */
178 unsigned i; /* Used to cycle through random values. */
179
180 /* Set the initial value from the key size. */
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100181 for (value = 0x238F13AF * strlen(name), i = 0; name[i]; i++)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182 value = (value + (((unsigned char *)name)[i] << (i*5 % 24)));
183
184 return (1103515243 * value + 12345);
185}
186
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100187/**
188 * Allocate a new symbols for use in the hash of exported symbols or
189 * the list of unresolved symbols per module
190 **/
191static struct symbol *alloc_symbol(const char *name, unsigned int weak,
192 struct symbol *next)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193{
194 struct symbol *s = NOFAIL(malloc(sizeof(*s) + strlen(name) + 1));
195
196 memset(s, 0, sizeof(*s));
197 strcpy(s->name, name);
198 s->weak = weak;
199 s->next = next;
200 return s;
201}
202
203/* For the hash of exported symbols */
Ram Paibd5cbce2006-06-08 22:12:53 -0700204static struct symbol *new_symbol(const char *name, struct module *module,
205 enum export export)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700206{
207 unsigned int hash;
208 struct symbol *new;
209
210 hash = tdb_hash(name) % SYMBOL_HASH_SIZE;
211 new = symbolhash[hash] = alloc_symbol(name, 0, symbolhash[hash]);
212 new->module = module;
Ram Paibd5cbce2006-06-08 22:12:53 -0700213 new->export = export;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100214 return new;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215}
216
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100217static struct symbol *find_symbol(const char *name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218{
219 struct symbol *s;
220
221 /* For our purposes, .foo matches foo. PPC64 needs this. */
222 if (name[0] == '.')
223 name++;
224
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100225 for (s = symbolhash[tdb_hash(name) % SYMBOL_HASH_SIZE]; s; s = s->next) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226 if (strcmp(s->name, name) == 0)
227 return s;
228 }
229 return NULL;
230}
231
Mathias Krause7a3ee752014-08-27 20:28:53 +0930232static const struct {
Ram Paibd5cbce2006-06-08 22:12:53 -0700233 const char *str;
234 enum export export;
235} export_list[] = {
236 { .str = "EXPORT_SYMBOL", .export = export_plain },
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200237 { .str = "EXPORT_UNUSED_SYMBOL", .export = export_unused },
Ram Paibd5cbce2006-06-08 22:12:53 -0700238 { .str = "EXPORT_SYMBOL_GPL", .export = export_gpl },
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200239 { .str = "EXPORT_UNUSED_SYMBOL_GPL", .export = export_unused_gpl },
Ram Paibd5cbce2006-06-08 22:12:53 -0700240 { .str = "EXPORT_SYMBOL_GPL_FUTURE", .export = export_gpl_future },
241 { .str = "(unknown)", .export = export_unknown },
242};
243
244
245static const char *export_str(enum export ex)
246{
247 return export_list[ex].str;
248}
249
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100250static enum export export_no(const char *s)
Ram Paibd5cbce2006-06-08 22:12:53 -0700251{
252 int i;
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100253
Sam Ravnborg534b89a2006-07-01 10:10:19 +0200254 if (!s)
255 return export_unknown;
Ram Paibd5cbce2006-06-08 22:12:53 -0700256 for (i = 0; export_list[i].export != export_unknown; i++) {
257 if (strcmp(export_list[i].str, s) == 0)
258 return export_list[i].export;
259 }
260 return export_unknown;
261}
262
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200263static const char *sec_name(struct elf_info *elf, int secindex);
264
265#define strstarts(str, prefix) (strncmp(str, prefix, strlen(prefix)) == 0)
266
267static enum export export_from_secname(struct elf_info *elf, unsigned int sec)
268{
269 const char *secname = sec_name(elf, sec);
270
271 if (strstarts(secname, "___ksymtab+"))
272 return export_plain;
273 else if (strstarts(secname, "___ksymtab_unused+"))
274 return export_unused;
275 else if (strstarts(secname, "___ksymtab_gpl+"))
276 return export_gpl;
277 else if (strstarts(secname, "___ksymtab_unused_gpl+"))
278 return export_unused_gpl;
279 else if (strstarts(secname, "___ksymtab_gpl_future+"))
280 return export_gpl_future;
281 else
282 return export_unknown;
283}
284
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200285static enum export export_from_sec(struct elf_info *elf, unsigned int sec)
Ram Paibd5cbce2006-06-08 22:12:53 -0700286{
287 if (sec == elf->export_sec)
288 return export_plain;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200289 else if (sec == elf->export_unused_sec)
290 return export_unused;
Ram Paibd5cbce2006-06-08 22:12:53 -0700291 else if (sec == elf->export_gpl_sec)
292 return export_gpl;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200293 else if (sec == elf->export_unused_gpl_sec)
294 return export_unused_gpl;
Ram Paibd5cbce2006-06-08 22:12:53 -0700295 else if (sec == elf->export_gpl_future_sec)
296 return export_gpl_future;
297 else
298 return export_unknown;
299}
300
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100301/**
302 * Add an exported symbol - it may have already been added without a
303 * CRC, in this case just update the CRC
304 **/
Ram Paibd5cbce2006-06-08 22:12:53 -0700305static struct symbol *sym_add_exported(const char *name, struct module *mod,
306 enum export export)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700307{
308 struct symbol *s = find_symbol(name);
309
310 if (!s) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700311 s = new_symbol(name, mod, export);
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100312 } else {
313 if (!s->preloaded) {
Sam Ravnborg7b75b132006-03-05 13:48:58 +0100314 warn("%s: '%s' exported twice. Previous export "
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100315 "was in %s%s\n", mod->name, name,
316 s->module->name,
317 is_vmlinux(s->module->name) ?"":".ko");
Trent Piepho4b219602007-10-11 16:40:10 -0700318 } else {
Paul Bollebaec30e2014-04-16 18:05:35 +0200319 /* In case Module.symvers was out of date */
Trent Piepho4b219602007-10-11 16:40:10 -0700320 s->module = mod;
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100321 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322 }
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100323 s->preloaded = 0;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100324 s->vmlinux = is_vmlinux(mod->name);
325 s->kernel = 0;
Ram Paibd5cbce2006-06-08 22:12:53 -0700326 s->export = export;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100327 return s;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328}
329
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100330static void sym_update_crc(const char *name, struct module *mod,
Ram Paibd5cbce2006-06-08 22:12:53 -0700331 unsigned int crc, enum export export)
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100332{
333 struct symbol *s = find_symbol(name);
334
Rusty Russellb6568b12013-11-07 12:09:13 +1030335 if (!s) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700336 s = new_symbol(name, mod, export);
Rusty Russellb6568b12013-11-07 12:09:13 +1030337 /* Don't complain when we find it later. */
338 s->preloaded = 1;
339 }
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100340 s->crc = crc;
341 s->crc_valid = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342}
343
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100344void *grab_file(const char *filename, unsigned long *size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345{
346 struct stat st;
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930347 void *map = MAP_FAILED;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348 int fd;
349
350 fd = open(filename, O_RDONLY);
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930351 if (fd < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352 return NULL;
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930353 if (fstat(fd, &st))
354 goto failed;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700355
356 *size = st.st_size;
357 map = mmap(NULL, *size, PROT_READ|PROT_WRITE, MAP_PRIVATE, fd, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700358
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930359failed:
360 close(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 if (map == MAP_FAILED)
362 return NULL;
363 return map;
364}
365
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100366/**
367 * Return a copy of the next line in a mmap'ed file.
368 * spaces in the beginning of the line is trimmed away.
369 * Return a pointer to a static buffer.
370 **/
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100371char *get_next_line(unsigned long *pos, void *file, unsigned long size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700372{
373 static char line[4096];
374 int skip = 1;
375 size_t len = 0;
376 signed char *p = (signed char *)file + *pos;
377 char *s = line;
378
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100379 for (; *pos < size ; (*pos)++) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700380 if (skip && isspace(*p)) {
381 p++;
382 continue;
383 }
384 skip = 0;
385 if (*p != '\n' && (*pos < size)) {
386 len++;
387 *s++ = *p++;
388 if (len > 4095)
389 break; /* Too long, stop */
390 } else {
391 /* End of string */
392 *s = '\0';
393 return line;
394 }
395 }
396 /* End of buffer */
397 return NULL;
398}
399
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100400void release_file(void *file, unsigned long size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401{
402 munmap(file, size);
403}
404
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100405static int parse_elf(struct elf_info *info, const char *filename)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700406{
407 unsigned int i;
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100408 Elf_Ehdr *hdr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700409 Elf_Shdr *sechdrs;
410 Elf_Sym *sym;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200411 const char *secstrings;
412 unsigned int symtab_idx = ~0U, symtab_shndx_idx = ~0U;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700413
414 hdr = grab_file(filename, &info->size);
415 if (!hdr) {
Guenter Roeckeed380f2013-09-23 15:23:54 +0930416 if (ignore_missing_files) {
417 fprintf(stderr, "%s: %s (ignored)\n", filename,
418 strerror(errno));
419 return 0;
420 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 perror(filename);
Sam Ravnborg6803dc02006-06-24 23:46:54 +0200422 exit(1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700423 }
424 info->hdr = hdr;
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100425 if (info->size < sizeof(*hdr)) {
426 /* file too small, assume this is an empty .o file */
427 return 0;
428 }
429 /* Is this a valid ELF file? */
430 if ((hdr->e_ident[EI_MAG0] != ELFMAG0) ||
431 (hdr->e_ident[EI_MAG1] != ELFMAG1) ||
432 (hdr->e_ident[EI_MAG2] != ELFMAG2) ||
433 (hdr->e_ident[EI_MAG3] != ELFMAG3)) {
434 /* Not an ELF file - silently ignore it */
435 return 0;
436 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437 /* Fix endianness in ELF header */
Anders Kaseorg7d875a02009-05-03 22:02:55 +0200438 hdr->e_type = TO_NATIVE(hdr->e_type);
439 hdr->e_machine = TO_NATIVE(hdr->e_machine);
440 hdr->e_version = TO_NATIVE(hdr->e_version);
441 hdr->e_entry = TO_NATIVE(hdr->e_entry);
442 hdr->e_phoff = TO_NATIVE(hdr->e_phoff);
443 hdr->e_shoff = TO_NATIVE(hdr->e_shoff);
444 hdr->e_flags = TO_NATIVE(hdr->e_flags);
445 hdr->e_ehsize = TO_NATIVE(hdr->e_ehsize);
446 hdr->e_phentsize = TO_NATIVE(hdr->e_phentsize);
447 hdr->e_phnum = TO_NATIVE(hdr->e_phnum);
448 hdr->e_shentsize = TO_NATIVE(hdr->e_shentsize);
449 hdr->e_shnum = TO_NATIVE(hdr->e_shnum);
450 hdr->e_shstrndx = TO_NATIVE(hdr->e_shstrndx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451 sechdrs = (void *)hdr + hdr->e_shoff;
452 info->sechdrs = sechdrs;
453
Petr Stetiara83710e2007-08-27 12:15:07 +0200454 /* Check if file offset is correct */
455 if (hdr->e_shoff > info->size) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100456 fatal("section header offset=%lu in file '%s' is bigger than "
457 "filesize=%lu\n", (unsigned long)hdr->e_shoff,
458 filename, info->size);
Petr Stetiara83710e2007-08-27 12:15:07 +0200459 return 0;
460 }
461
Anders Kaseorg68457562011-05-19 16:55:27 -0600462 if (hdr->e_shnum == SHN_UNDEF) {
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200463 /*
464 * There are more than 64k sections,
465 * read count from .sh_size.
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200466 */
467 info->num_sections = TO_NATIVE(sechdrs[0].sh_size);
468 }
469 else {
470 info->num_sections = hdr->e_shnum;
471 }
472 if (hdr->e_shstrndx == SHN_XINDEX) {
Anders Kaseorg68457562011-05-19 16:55:27 -0600473 info->secindex_strings = TO_NATIVE(sechdrs[0].sh_link);
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200474 }
475 else {
476 info->secindex_strings = hdr->e_shstrndx;
477 }
478
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479 /* Fix endianness in section headers */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200480 for (i = 0; i < info->num_sections; i++) {
Anders Kaseorg7d875a02009-05-03 22:02:55 +0200481 sechdrs[i].sh_name = TO_NATIVE(sechdrs[i].sh_name);
482 sechdrs[i].sh_type = TO_NATIVE(sechdrs[i].sh_type);
483 sechdrs[i].sh_flags = TO_NATIVE(sechdrs[i].sh_flags);
484 sechdrs[i].sh_addr = TO_NATIVE(sechdrs[i].sh_addr);
485 sechdrs[i].sh_offset = TO_NATIVE(sechdrs[i].sh_offset);
486 sechdrs[i].sh_size = TO_NATIVE(sechdrs[i].sh_size);
487 sechdrs[i].sh_link = TO_NATIVE(sechdrs[i].sh_link);
488 sechdrs[i].sh_info = TO_NATIVE(sechdrs[i].sh_info);
489 sechdrs[i].sh_addralign = TO_NATIVE(sechdrs[i].sh_addralign);
490 sechdrs[i].sh_entsize = TO_NATIVE(sechdrs[i].sh_entsize);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491 }
492 /* Find symbol table. */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200493 secstrings = (void *)hdr + sechdrs[info->secindex_strings].sh_offset;
494 for (i = 1; i < info->num_sections; i++) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700495 const char *secname;
Tejun Heo56fc82c2009-02-06 00:48:02 +0900496 int nobits = sechdrs[i].sh_type == SHT_NOBITS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497
Tejun Heo56fc82c2009-02-06 00:48:02 +0900498 if (!nobits && sechdrs[i].sh_offset > info->size) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100499 fatal("%s is truncated. sechdrs[i].sh_offset=%lu > "
500 "sizeof(*hrd)=%zu\n", filename,
501 (unsigned long)sechdrs[i].sh_offset,
502 sizeof(*hdr));
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100503 return 0;
504 }
Ram Paibd5cbce2006-06-08 22:12:53 -0700505 secname = secstrings + sechdrs[i].sh_name;
506 if (strcmp(secname, ".modinfo") == 0) {
Tejun Heo56fc82c2009-02-06 00:48:02 +0900507 if (nobits)
508 fatal("%s has NOBITS .modinfo\n", filename);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509 info->modinfo = (void *)hdr + sechdrs[i].sh_offset;
510 info->modinfo_len = sechdrs[i].sh_size;
Ram Paibd5cbce2006-06-08 22:12:53 -0700511 } else if (strcmp(secname, "__ksymtab") == 0)
512 info->export_sec = i;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200513 else if (strcmp(secname, "__ksymtab_unused") == 0)
514 info->export_unused_sec = i;
Ram Paibd5cbce2006-06-08 22:12:53 -0700515 else if (strcmp(secname, "__ksymtab_gpl") == 0)
516 info->export_gpl_sec = i;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200517 else if (strcmp(secname, "__ksymtab_unused_gpl") == 0)
518 info->export_unused_gpl_sec = i;
Ram Paibd5cbce2006-06-08 22:12:53 -0700519 else if (strcmp(secname, "__ksymtab_gpl_future") == 0)
520 info->export_gpl_future_sec = i;
521
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200522 if (sechdrs[i].sh_type == SHT_SYMTAB) {
523 unsigned int sh_link_idx;
524 symtab_idx = i;
525 info->symtab_start = (void *)hdr +
526 sechdrs[i].sh_offset;
527 info->symtab_stop = (void *)hdr +
528 sechdrs[i].sh_offset + sechdrs[i].sh_size;
Anders Kaseorg68457562011-05-19 16:55:27 -0600529 sh_link_idx = sechdrs[i].sh_link;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200530 info->strtab = (void *)hdr +
531 sechdrs[sh_link_idx].sh_offset;
532 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700533
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200534 /* 32bit section no. table? ("more than 64k sections") */
535 if (sechdrs[i].sh_type == SHT_SYMTAB_SHNDX) {
536 symtab_shndx_idx = i;
537 info->symtab_shndx_start = (void *)hdr +
538 sechdrs[i].sh_offset;
539 info->symtab_shndx_stop = (void *)hdr +
540 sechdrs[i].sh_offset + sechdrs[i].sh_size;
541 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542 }
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100543 if (!info->symtab_start)
Sam Ravnborgcb805142006-01-28 16:57:26 +0100544 fatal("%s has no symtab?\n", filename);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100545
Linus Torvalds1da177e2005-04-16 15:20:36 -0700546 /* Fix endianness in symbols */
547 for (sym = info->symtab_start; sym < info->symtab_stop; sym++) {
548 sym->st_shndx = TO_NATIVE(sym->st_shndx);
549 sym->st_name = TO_NATIVE(sym->st_name);
550 sym->st_value = TO_NATIVE(sym->st_value);
551 sym->st_size = TO_NATIVE(sym->st_size);
552 }
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200553
554 if (symtab_shndx_idx != ~0U) {
555 Elf32_Word *p;
Anders Kaseorg68457562011-05-19 16:55:27 -0600556 if (symtab_idx != sechdrs[symtab_shndx_idx].sh_link)
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200557 fatal("%s: SYMTAB_SHNDX has bad sh_link: %u!=%u\n",
Anders Kaseorg68457562011-05-19 16:55:27 -0600558 filename, sechdrs[symtab_shndx_idx].sh_link,
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200559 symtab_idx);
560 /* Fix endianness */
561 for (p = info->symtab_shndx_start; p < info->symtab_shndx_stop;
562 p++)
563 *p = TO_NATIVE(*p);
564 }
565
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100566 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700567}
568
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100569static void parse_elf_finish(struct elf_info *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570{
571 release_file(info->hdr, info->size);
572}
573
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200574static int ignore_undef_symbol(struct elf_info *info, const char *symname)
575{
576 /* ignore __this_module, it will be resolved shortly */
Rusty Russellb92021b2013-03-15 15:04:17 +1030577 if (strcmp(symname, VMLINUX_SYMBOL_STR(__this_module)) == 0)
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200578 return 1;
579 /* ignore global offset table */
580 if (strcmp(symname, "_GLOBAL_OFFSET_TABLE_") == 0)
581 return 1;
582 if (info->hdr->e_machine == EM_PPC)
583 /* Special register function linked on all modules during final link of .ko */
584 if (strncmp(symname, "_restgpr_", sizeof("_restgpr_") - 1) == 0 ||
585 strncmp(symname, "_savegpr_", sizeof("_savegpr_") - 1) == 0 ||
586 strncmp(symname, "_rest32gpr_", sizeof("_rest32gpr_") - 1) == 0 ||
Andreas Schwab8fe9c932013-12-30 15:31:17 +0100587 strncmp(symname, "_save32gpr_", sizeof("_save32gpr_") - 1) == 0 ||
588 strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 ||
589 strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0)
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200590 return 1;
Stephen Rothwell7fca5dc2010-06-29 20:08:42 +0000591 if (info->hdr->e_machine == EM_PPC64)
592 /* Special register function linked on all modules during final link of .ko */
593 if (strncmp(symname, "_restgpr0_", sizeof("_restgpr0_") - 1) == 0 ||
Andreas Schwab8fe9c932013-12-30 15:31:17 +0100594 strncmp(symname, "_savegpr0_", sizeof("_savegpr0_") - 1) == 0 ||
595 strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 ||
596 strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0)
Stephen Rothwell7fca5dc2010-06-29 20:08:42 +0000597 return 1;
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200598 /* Do not ignore this symbol */
599 return 0;
600}
601
Rusty Russellb92021b2013-03-15 15:04:17 +1030602#define CRC_PFX VMLINUX_SYMBOL_STR(__crc_)
603#define KSYMTAB_PFX VMLINUX_SYMBOL_STR(__ksymtab_)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100605static void handle_modversions(struct module *mod, struct elf_info *info,
606 Elf_Sym *sym, const char *symname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607{
608 unsigned int crc;
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200609 enum export export;
610
Frank Rowand258f7422012-04-09 17:59:03 -0700611 if ((!is_vmlinux(mod->name) || mod->is_dot_o) &&
612 strncmp(symname, "__ksymtab", 9) == 0)
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200613 export = export_from_secname(info, get_secindex(info, sym));
614 else
615 export = export_from_sec(info, get_secindex(info, sym));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616
Andi Kleenb5064652013-11-12 15:08:38 -0800617 /* CRC'd symbol */
618 if (strncmp(symname, CRC_PFX, strlen(CRC_PFX)) == 0) {
619 crc = (unsigned int) sym->st_value;
620 sym_update_crc(symname + strlen(CRC_PFX), mod, crc,
621 export);
622 }
623
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 switch (sym->st_shndx) {
625 case SHN_COMMON:
Andi Kleenef178f92014-02-08 09:01:17 +0100626 if (!strncmp(symname, "__gnu_lto_", sizeof("__gnu_lto_")-1)) {
627 /* Should warn here, but modpost runs before the linker */
628 } else
629 warn("\"%s\" [%s] is COMMON symbol\n", symname, mod->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631 case SHN_UNDEF:
632 /* undefined symbol */
633 if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL &&
634 ELF_ST_BIND(sym->st_info) != STB_WEAK)
635 break;
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200636 if (ignore_undef_symbol(info, symname))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 break;
Ben Colline8d529012005-08-19 13:44:57 -0700638/* cope with newer glibc (2.3.4 or higher) STT_ definition in elf.h */
639#if defined(STT_REGISTER) || defined(STT_SPARC_REGISTER)
640/* add compatibility with older glibc */
641#ifndef STT_SPARC_REGISTER
642#define STT_SPARC_REGISTER STT_REGISTER
643#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644 if (info->hdr->e_machine == EM_SPARC ||
645 info->hdr->e_machine == EM_SPARCV9) {
646 /* Ignore register directives. */
Ben Colline8d529012005-08-19 13:44:57 -0700647 if (ELF_ST_TYPE(sym->st_info) == STT_SPARC_REGISTER)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 break;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100649 if (symname[0] == '.') {
650 char *munged = strdup(symname);
651 munged[0] = '_';
652 munged[1] = toupper(munged[1]);
653 symname = munged;
654 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655 }
656#endif
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100657
Rusty Russellb92021b2013-03-15 15:04:17 +1030658#ifdef CONFIG_HAVE_UNDERSCORE_SYMBOL_PREFIX
659 if (symname[0] != '_')
660 break;
661 else
662 symname++;
663#endif
664 mod->unres = alloc_symbol(symname,
665 ELF_ST_BIND(sym->st_info) == STB_WEAK,
666 mod->unres);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 break;
668 default:
669 /* All exported symbols */
Michal Marek8d995132009-12-12 12:02:24 +0100670 if (strncmp(symname, KSYMTAB_PFX, strlen(KSYMTAB_PFX)) == 0) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700671 sym_add_exported(symname + strlen(KSYMTAB_PFX), mod,
672 export);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 }
Rusty Russellb92021b2013-03-15 15:04:17 +1030674 if (strcmp(symname, VMLINUX_SYMBOL_STR(init_module)) == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700675 mod->has_init = 1;
Rusty Russellb92021b2013-03-15 15:04:17 +1030676 if (strcmp(symname, VMLINUX_SYMBOL_STR(cleanup_module)) == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677 mod->has_cleanup = 1;
678 break;
679 }
680}
681
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100682/**
683 * Parse tag=value strings from .modinfo section
684 **/
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685static char *next_string(char *string, unsigned long *secsize)
686{
687 /* Skip non-zero chars */
688 while (string[0]) {
689 string++;
690 if ((*secsize)-- <= 1)
691 return NULL;
692 }
693
694 /* Skip any zero padding. */
695 while (!string[0]) {
696 string++;
697 if ((*secsize)-- <= 1)
698 return NULL;
699 }
700 return string;
701}
702
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200703static char *get_next_modinfo(void *modinfo, unsigned long modinfo_len,
704 const char *tag, char *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705{
706 char *p;
707 unsigned int taglen = strlen(tag);
708 unsigned long size = modinfo_len;
709
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200710 if (info) {
711 size -= info - (char *)modinfo;
712 modinfo = next_string(info, &size);
713 }
714
Linus Torvalds1da177e2005-04-16 15:20:36 -0700715 for (p = modinfo; p; p = next_string(p, &size)) {
716 if (strncmp(p, tag, taglen) == 0 && p[taglen] == '=')
717 return p + taglen + 1;
718 }
719 return NULL;
720}
721
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200722static char *get_modinfo(void *modinfo, unsigned long modinfo_len,
723 const char *tag)
724
725{
726 return get_next_modinfo(modinfo, modinfo_len, tag, NULL);
727}
728
Sam Ravnborg93684d32006-02-19 11:53:35 +0100729/**
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100730 * Test if string s ends in string sub
731 * return 0 if match
732 **/
733static int strrcmp(const char *s, const char *sub)
734{
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100735 int slen, sublen;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100736
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100737 if (!s || !sub)
738 return 1;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100739
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100740 slen = strlen(s);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100741 sublen = strlen(sub);
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100742
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100743 if ((slen == 0) || (sublen == 0))
744 return 1;
745
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100746 if (sublen > slen)
747 return 1;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100748
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100749 return memcmp(s + slen - sublen, sub, sublen);
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100750}
751
Sam Ravnborgff13f922008-01-23 19:54:27 +0100752static const char *sym_name(struct elf_info *elf, Elf_Sym *sym)
753{
Sam Ravnborg58fb0d42008-01-23 21:13:50 +0100754 if (sym)
755 return elf->strtab + sym->st_name;
756 else
Sam Ravnborgf6667512008-02-06 21:51:18 +0100757 return "(unknown)";
Sam Ravnborgff13f922008-01-23 19:54:27 +0100758}
759
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200760static const char *sec_name(struct elf_info *elf, int secindex)
Sam Ravnborgff13f922008-01-23 19:54:27 +0100761{
762 Elf_Shdr *sechdrs = elf->sechdrs;
763 return (void *)elf->hdr +
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200764 elf->sechdrs[elf->secindex_strings].sh_offset +
765 sechdrs[secindex].sh_name;
Sam Ravnborgff13f922008-01-23 19:54:27 +0100766}
767
768static const char *sech_name(struct elf_info *elf, Elf_Shdr *sechdr)
769{
770 return (void *)elf->hdr +
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200771 elf->sechdrs[elf->secindex_strings].sh_offset +
772 sechdr->sh_name;
Sam Ravnborgff13f922008-01-23 19:54:27 +0100773}
774
Sam Ravnborg10668222008-01-13 22:21:31 +0100775/* The pattern is an array of simple patterns.
776 * "foo" will match an exact string equal to "foo"
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100777 * "*foo" will match a string that ends with "foo"
Sam Ravnborg10668222008-01-13 22:21:31 +0100778 * "foo*" will match a string that begins with "foo"
Sam Ravnborg10668222008-01-13 22:21:31 +0100779 */
Trevor Keith5c725132009-09-22 16:43:38 -0700780static int match(const char *sym, const char * const pat[])
Sam Ravnborg10668222008-01-13 22:21:31 +0100781{
782 const char *p;
783 while (*pat) {
784 p = *pat++;
785 const char *endp = p + strlen(p) - 1;
786
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100787 /* "*foo" */
788 if (*p == '*') {
789 if (strrcmp(sym, p + 1) == 0)
790 return 1;
791 }
Sam Ravnborg10668222008-01-13 22:21:31 +0100792 /* "foo*" */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100793 else if (*endp == '*') {
Sam Ravnborg10668222008-01-13 22:21:31 +0100794 if (strncmp(sym, p, strlen(p) - 1) == 0)
795 return 1;
796 }
Sam Ravnborg10668222008-01-13 22:21:31 +0100797 /* no wildcards */
798 else {
799 if (strcmp(p, sym) == 0)
800 return 1;
801 }
802 }
803 /* no match */
804 return 0;
805}
806
Sam Ravnborg10668222008-01-13 22:21:31 +0100807/* sections that we do not want to do full section mismatch check on */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930808static const char *const section_white_list[] =
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200809{
810 ".comment*",
811 ".debug*",
Chen Gang4d10c222013-08-20 15:33:19 +0930812 ".cranges", /* sh64 */
H.J. Lu11215842010-12-15 17:11:22 -0800813 ".zdebug*", /* Compressed debug sections. */
David Howells019fca82010-08-12 16:54:47 +0100814 ".GCC-command-line", /* mn10300 */
Jonathan Kliegman76b27642012-10-04 16:32:19 -0400815 ".GCC.command.line", /* record-gcc-switches, non mn10300 */
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200816 ".mdebug*", /* alpha, score, mips etc. */
817 ".pdr", /* alpha, score, mips etc. */
818 ".stab*",
819 ".note*",
820 ".got*",
821 ".toc*",
Max Filippovaf42e972012-09-17 05:44:38 +0400822 ".xt.prop", /* xtensa */
823 ".xt.lit", /* xtensa */
Vineet Guptaf2e207f2013-01-21 17:18:57 +1030824 ".arcextmap*", /* arc */
825 ".gnu.linkonce.arcext*", /* arc : modules */
Andi Kleenef178f92014-02-08 09:01:17 +0100826 ".gnu.lto*",
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200827 NULL
828};
Sam Ravnborg10668222008-01-13 22:21:31 +0100829
Sam Ravnborge241a632008-01-28 20:13:13 +0100830/*
Anders Kaseorgb614a692009-04-23 16:49:33 -0400831 * This is used to find sections missing the SHF_ALLOC flag.
Sam Ravnborge241a632008-01-28 20:13:13 +0100832 * The cause of this is often a section specified in assembler
Anders Kaseorgb614a692009-04-23 16:49:33 -0400833 * without "ax" / "aw".
Sam Ravnborge241a632008-01-28 20:13:13 +0100834 */
Anders Kaseorgb614a692009-04-23 16:49:33 -0400835static void check_section(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +0900836 Elf_Shdr *sechdr)
Sam Ravnborge241a632008-01-28 20:13:13 +0100837{
Anders Kaseorgb614a692009-04-23 16:49:33 -0400838 const char *sec = sech_name(elf, sechdr);
Sam Ravnborge241a632008-01-28 20:13:13 +0100839
Anders Kaseorgb614a692009-04-23 16:49:33 -0400840 if (sechdr->sh_type == SHT_PROGBITS &&
841 !(sechdr->sh_flags & SHF_ALLOC) &&
842 !match(sec, section_white_list)) {
843 warn("%s (%s): unexpected non-allocatable section.\n"
844 "Did you forget to use \"ax\"/\"aw\" in a .S file?\n"
845 "Note that for example <linux/init.h> contains\n"
846 "section definitions for use in .S files.\n\n",
847 modname, sec);
Sam Ravnborge241a632008-01-28 20:13:13 +0100848 }
Sam Ravnborge241a632008-01-28 20:13:13 +0100849}
850
851
852
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100853#define ALL_INIT_DATA_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930854 ".init.setup", ".init.rodata", ".meminit.rodata", \
855 ".init.data", ".meminit.data"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100856#define ALL_EXIT_DATA_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930857 ".exit.data", ".memexit.data"
Sam Ravnborg10668222008-01-13 22:21:31 +0100858
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100859#define ALL_INIT_TEXT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930860 ".init.text", ".meminit.text"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100861#define ALL_EXIT_TEXT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930862 ".exit.text", ".memexit.text"
Sam Ravnborg10668222008-01-13 22:21:31 +0100863
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +0200864#define ALL_PCI_INIT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930865 ".pci_fixup_early", ".pci_fixup_header", ".pci_fixup_final", \
866 ".pci_fixup_enable", ".pci_fixup_resume", \
867 ".pci_fixup_resume_early", ".pci_fixup_suspend"
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +0200868
Paul Gortmakere24f6622013-06-19 19:30:48 -0400869#define ALL_XXXINIT_SECTIONS MEM_INIT_SECTIONS
870#define ALL_XXXEXIT_SECTIONS MEM_EXIT_SECTIONS
Uwe Kleine-König4a31a222010-01-29 12:04:26 +0100871
872#define ALL_INIT_SECTIONS INIT_SECTIONS, ALL_XXXINIT_SECTIONS
873#define ALL_EXIT_SECTIONS EXIT_SECTIONS, ALL_XXXEXIT_SECTIONS
Sam Ravnborg10668222008-01-13 22:21:31 +0100874
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930875#define DATA_SECTIONS ".data", ".data.rel"
Quentin Casasnovas157d1972015-04-13 20:42:52 +0930876#define TEXT_SECTIONS ".text", ".text.unlikely", ".sched.text", \
877 ".kprobes.text"
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930878#define OTHER_TEXT_SECTIONS ".ref.text", ".head.text", ".spinlock.text", \
879 ".fixup", ".entry.text"
Sam Ravnborg10668222008-01-13 22:21:31 +0100880
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000881#define INIT_SECTIONS ".init.*"
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000882#define MEM_INIT_SECTIONS ".meminit.*"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100883
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000884#define EXIT_SECTIONS ".exit.*"
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000885#define MEM_EXIT_SECTIONS ".memexit.*"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100886
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930887#define ALL_TEXT_SECTIONS ALL_INIT_TEXT_SECTIONS, ALL_EXIT_TEXT_SECTIONS, \
888 TEXT_SECTIONS, OTHER_TEXT_SECTIONS
889
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100890/* init data sections */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930891static const char *const init_data_sections[] =
892 { ALL_INIT_DATA_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100893
894/* all init sections */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930895static const char *const init_sections[] = { ALL_INIT_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100896
897/* All init and exit sections (code + data) */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930898static const char *const init_exit_sections[] =
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100899 {ALL_INIT_SECTIONS, ALL_EXIT_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100900
901/* data section */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930902static const char *const data_sections[] = { DATA_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100903
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100904
905/* symbols in .data that may refer to init/exit sections */
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100906#define DEFAULT_SYMBOL_WHITE_LIST \
907 "*driver", \
908 "*_template", /* scsi uses *_template a lot */ \
909 "*_timer", /* arm uses ops structures named _timer a lot */ \
910 "*_sht", /* scsi also used *_sht to some extent */ \
911 "*_ops", \
912 "*_probe", \
913 "*_probe_one", \
914 "*_console"
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100915
Mathias Krause7a3ee752014-08-27 20:28:53 +0930916static const char *const head_sections[] = { ".head.text*", NULL };
917static const char *const linker_symbols[] =
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100918 { "__init_begin", "_sinittext", "_einittext", NULL };
919
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100920enum mismatch {
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100921 TEXT_TO_ANY_INIT,
922 DATA_TO_ANY_INIT,
923 TEXT_TO_ANY_EXIT,
924 DATA_TO_ANY_EXIT,
925 XXXINIT_TO_SOME_INIT,
926 XXXEXIT_TO_SOME_EXIT,
927 ANY_INIT_TO_ANY_EXIT,
928 ANY_EXIT_TO_ANY_INIT,
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100929 EXPORT_TO_INIT_EXIT,
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930930 EXTABLE_TO_NON_TEXT,
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100931};
932
Sam Ravnborg10668222008-01-13 22:21:31 +0100933struct sectioncheck {
934 const char *fromsec[20];
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930935 const char *bad_tosec[20];
936 const char *good_tosec[20];
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100937 enum mismatch mismatch;
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100938 const char *symbol_white_list[20];
Quentin Casasnovas644e8f12015-04-13 20:43:17 +0930939 void (*handler)(const char *modname, struct elf_info *elf,
940 const struct sectioncheck* const mismatch,
941 Elf_Rela *r, Elf_Sym *sym, const char *fromsec);
942
Sam Ravnborg10668222008-01-13 22:21:31 +0100943};
944
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930945static void extable_mismatch_handler(const char *modname, struct elf_info *elf,
946 const struct sectioncheck* const mismatch,
947 Elf_Rela *r, Elf_Sym *sym,
948 const char *fromsec);
949
Mathias Krause7a3ee752014-08-27 20:28:53 +0930950static const struct sectioncheck sectioncheck[] = {
Sam Ravnborg10668222008-01-13 22:21:31 +0100951/* Do not reference init/exit code/data from
952 * normal code and data
953 */
954{
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100955 .fromsec = { TEXT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930956 .bad_tosec = { ALL_INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100957 .mismatch = TEXT_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100958 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100959},
960{
961 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930962 .bad_tosec = { ALL_XXXINIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100963 .mismatch = DATA_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100964 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100965},
966{
Uwe Kleine-König0db252452010-01-30 21:14:23 +0100967 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930968 .bad_tosec = { INIT_SECTIONS, NULL },
Uwe Kleine-König0db252452010-01-30 21:14:23 +0100969 .mismatch = DATA_TO_ANY_INIT,
970 .symbol_white_list = {
971 "*_template", "*_timer", "*_sht", "*_ops",
972 "*_probe", "*_probe_one", "*_console", NULL
973 },
974},
975{
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100976 .fromsec = { TEXT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930977 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100978 .mismatch = TEXT_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100979 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100980},
981{
982 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930983 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100984 .mismatch = DATA_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100985 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100986},
Paul Gortmakere24f6622013-06-19 19:30:48 -0400987/* Do not reference init code/data from meminit code/data */
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100988{
Uwe Kleine-König4a31a222010-01-29 12:04:26 +0100989 .fromsec = { ALL_XXXINIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930990 .bad_tosec = { INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100991 .mismatch = XXXINIT_TO_SOME_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100992 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100993},
Paul Gortmakere24f6622013-06-19 19:30:48 -0400994/* Do not reference exit code/data from memexit code/data */
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100995{
Uwe Kleine-König4a31a222010-01-29 12:04:26 +0100996 .fromsec = { ALL_XXXEXIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930997 .bad_tosec = { EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100998 .mismatch = XXXEXIT_TO_SOME_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100999 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001000},
1001/* Do not use exit code/data from init code */
1002{
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001003 .fromsec = { ALL_INIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301004 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001005 .mismatch = ANY_INIT_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001006 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001007},
1008/* Do not use init code/data from exit code */
1009{
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001010 .fromsec = { ALL_EXIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301011 .bad_tosec = { ALL_INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001012 .mismatch = ANY_EXIT_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001013 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001014},
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +02001015{
1016 .fromsec = { ALL_PCI_INIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301017 .bad_tosec = { INIT_SECTIONS, NULL },
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +02001018 .mismatch = ANY_INIT_TO_ANY_EXIT,
1019 .symbol_white_list = { NULL },
1020},
Sam Ravnborg10668222008-01-13 22:21:31 +01001021/* Do not export init/exit functions or data */
1022{
1023 .fromsec = { "__ksymtab*", NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301024 .bad_tosec = { INIT_SECTIONS, EXIT_SECTIONS, NULL },
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001025 .mismatch = EXPORT_TO_INIT_EXIT,
1026 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301027},
1028{
1029 .fromsec = { "__ex_table", NULL },
1030 /* If you're adding any new black-listed sections in here, consider
1031 * adding a special 'printer' for them in scripts/check_extable.
1032 */
1033 .bad_tosec = { ".altinstr_replacement", NULL },
1034 .good_tosec = {ALL_TEXT_SECTIONS , NULL},
1035 .mismatch = EXTABLE_TO_NON_TEXT,
1036 .handler = extable_mismatch_handler,
Sam Ravnborg10668222008-01-13 22:21:31 +01001037}
1038};
1039
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001040static const struct sectioncheck *section_mismatch(
1041 const char *fromsec, const char *tosec)
Sam Ravnborg10668222008-01-13 22:21:31 +01001042{
1043 int i;
1044 int elems = sizeof(sectioncheck) / sizeof(struct sectioncheck);
1045 const struct sectioncheck *check = &sectioncheck[0];
1046
1047 for (i = 0; i < elems; i++) {
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301048 if (match(fromsec, check->fromsec)) {
1049 if (check->bad_tosec[0] && match(tosec, check->bad_tosec))
1050 return check;
1051 if (check->good_tosec[0] && !match(tosec, check->good_tosec))
1052 return check;
1053 }
Sam Ravnborg10668222008-01-13 22:21:31 +01001054 check++;
1055 }
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001056 return NULL;
Sam Ravnborg10668222008-01-13 22:21:31 +01001057}
1058
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001059/**
1060 * Whitelist to allow certain references to pass with no warning.
Sam Ravnborg0e0d3142007-05-17 20:14:48 +02001061 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001062 * Pattern 1:
1063 * If a module parameter is declared __initdata and permissions=0
1064 * then this is legal despite the warning generated.
1065 * We cannot see value of permissions here, so just ignore
1066 * this pattern.
1067 * The pattern is identified by:
1068 * tosec = .init.data
Sam Ravnborg9209aed2006-03-05 00:16:26 +01001069 * fromsec = .data*
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001070 * atsym =__param*
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001071 *
Rusty Russell6a841522010-08-11 23:04:16 -06001072 * Pattern 1a:
1073 * module_param_call() ops can refer to __init set function if permissions=0
1074 * The pattern is identified by:
1075 * tosec = .init.text
1076 * fromsec = .data*
1077 * atsym = __param_ops_*
1078 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001079 * Pattern 2:
Randy Dunlap72ee59b2006-04-15 11:17:12 -07001080 * Many drivers utilise a *driver container with references to
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001081 * add, remove, probe functions etc.
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001082 * the pattern is identified by:
Sam Ravnborg83cda2b2007-07-25 21:52:31 +02001083 * tosec = init or exit section
1084 * fromsec = data section
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001085 * atsym = *driver, *_template, *_sht, *_ops, *_probe,
1086 * *probe_one, *_console, *_timer
Vivek Goyalee6a8542007-01-11 01:52:44 +01001087 *
1088 * Pattern 3:
Sam Ravnborgc9939712009-04-26 11:17:42 +02001089 * Whitelist all references from .head.text to any init section
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001090 *
Sam Ravnborg1d8af552007-06-03 00:41:22 +02001091 * Pattern 4:
Vivek Goyalee6a8542007-01-11 01:52:44 +01001092 * Some symbols belong to init section but still it is ok to reference
1093 * these from non-init sections as these symbols don't have any memory
1094 * allocated for them and symbol address and value are same. So even
1095 * if init section is freed, its ok to reference those symbols.
1096 * For ex. symbols marking the init section boundaries.
1097 * This pattern is identified by
1098 * refsymname = __init_begin, _sinittext, _einittext
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001099 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001100 **/
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001101static int secref_whitelist(const struct sectioncheck *mismatch,
1102 const char *fromsec, const char *fromsym,
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001103 const char *tosec, const char *tosym)
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001104{
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001105 /* Check for pattern 1 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001106 if (match(tosec, init_data_sections) &&
1107 match(fromsec, data_sections) &&
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001108 (strncmp(fromsym, "__param", strlen("__param")) == 0))
1109 return 0;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001110
Rusty Russell6a841522010-08-11 23:04:16 -06001111 /* Check for pattern 1a */
1112 if (strcmp(tosec, ".init.text") == 0 &&
1113 match(fromsec, data_sections) &&
1114 (strncmp(fromsym, "__param_ops_", strlen("__param_ops_")) == 0))
1115 return 0;
1116
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001117 /* Check for pattern 2 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001118 if (match(tosec, init_exit_sections) &&
1119 match(fromsec, data_sections) &&
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001120 match(fromsym, mismatch->symbol_white_list))
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001121 return 0;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001122
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001123 /* Check for pattern 3 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001124 if (match(fromsec, head_sections) &&
1125 match(tosec, init_sections))
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001126 return 0;
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001127
Sam Ravnborg1d8af552007-06-03 00:41:22 +02001128 /* Check for pattern 4 */
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001129 if (match(tosym, linker_symbols))
1130 return 0;
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001131
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001132 return 1;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001133}
1134
1135/**
Sam Ravnborg93684d32006-02-19 11:53:35 +01001136 * Find symbol based on relocation record info.
1137 * In some cases the symbol supplied is a valid symbol so
1138 * return refsym. If st_name != 0 we assume this is a valid symbol.
1139 * In other cases the symbol needs to be looked up in the symbol table
1140 * based on section and address.
1141 * **/
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001142static Elf_Sym *find_elf_symbol(struct elf_info *elf, Elf64_Sword addr,
Sam Ravnborg93684d32006-02-19 11:53:35 +01001143 Elf_Sym *relsym)
1144{
1145 Elf_Sym *sym;
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001146 Elf_Sym *near = NULL;
1147 Elf64_Sword distance = 20;
1148 Elf64_Sword d;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001149 unsigned int relsym_secindex;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001150
1151 if (relsym->st_name != 0)
1152 return relsym;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001153
1154 relsym_secindex = get_secindex(elf, relsym);
Sam Ravnborg93684d32006-02-19 11:53:35 +01001155 for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) {
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001156 if (get_secindex(elf, sym) != relsym_secindex)
Sam Ravnborg93684d32006-02-19 11:53:35 +01001157 continue;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001158 if (ELF_ST_TYPE(sym->st_info) == STT_SECTION)
1159 continue;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001160 if (sym->st_value == addr)
1161 return sym;
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001162 /* Find a symbol nearby - addr are maybe negative */
1163 d = sym->st_value - addr;
1164 if (d < 0)
1165 d = addr - sym->st_value;
1166 if (d < distance) {
1167 distance = d;
1168 near = sym;
1169 }
Sam Ravnborg93684d32006-02-19 11:53:35 +01001170 }
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001171 /* We need a close match */
1172 if (distance < 20)
1173 return near;
1174 else
1175 return NULL;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001176}
1177
David Brownellda68d612007-02-20 13:58:16 -08001178static inline int is_arm_mapping_symbol(const char *str)
1179{
Kyle McMartin6c34f1f2014-09-16 22:37:18 +01001180 return str[0] == '$' && strchr("axtd", str[1])
David Brownellda68d612007-02-20 13:58:16 -08001181 && (str[2] == '\0' || str[2] == '.');
1182}
1183
1184/*
1185 * If there's no name there, ignore it; likewise, ignore it if it's
1186 * one of the magic symbols emitted used by current ARM tools.
1187 *
1188 * Otherwise if find_symbols_between() returns those symbols, they'll
1189 * fail the whitelist tests and cause lots of false alarms ... fixable
1190 * only by merging __exit and __init sections into __text, bloating
1191 * the kernel (which is especially evil on embedded platforms).
1192 */
1193static inline int is_valid_name(struct elf_info *elf, Elf_Sym *sym)
1194{
1195 const char *name = elf->strtab + sym->st_name;
1196
1197 if (!name || !strlen(name))
1198 return 0;
1199 return !is_arm_mapping_symbol(name);
1200}
1201
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001202/*
Sam Ravnborg43c74d12006-03-05 12:02:46 +01001203 * Find symbols before or equal addr and after addr - in the section sec.
1204 * If we find two symbols with equal offset prefer one with a valid name.
1205 * The ELF format may have a better way to detect what type of symbol
1206 * it is, but this works for now.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001207 **/
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001208static Elf_Sym *find_elf_symbol2(struct elf_info *elf, Elf_Addr addr,
1209 const char *sec)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001210{
1211 Elf_Sym *sym;
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001212 Elf_Sym *near = NULL;
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001213 Elf_Addr distance = ~0;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001214
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001215 for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) {
1216 const char *symsec;
1217
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001218 if (is_shndx_special(sym->st_shndx))
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001219 continue;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001220 symsec = sec_name(elf, get_secindex(elf, sym));
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001221 if (strcmp(symsec, sec) != 0)
1222 continue;
David Brownellda68d612007-02-20 13:58:16 -08001223 if (!is_valid_name(elf, sym))
1224 continue;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001225 if (sym->st_value <= addr) {
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001226 if ((addr - sym->st_value) < distance) {
1227 distance = addr - sym->st_value;
1228 near = sym;
1229 } else if ((addr - sym->st_value) == distance) {
1230 near = sym;
Sam Ravnborg43c74d12006-03-05 12:02:46 +01001231 }
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001232 }
1233 }
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001234 return near;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001235}
1236
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001237/*
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001238 * Convert a section name to the function/data attribute
1239 * .init.text => __init
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001240 * .memexitconst => __memconst
1241 * etc.
Andy Shevchenkocbcf14a92010-08-17 13:36:40 +03001242 *
1243 * The memory of returned value has been allocated on a heap. The user of this
1244 * method should free it after usage.
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001245*/
1246static char *sec2annotation(const char *s)
1247{
1248 if (match(s, init_exit_sections)) {
1249 char *p = malloc(20);
1250 char *r = p;
1251
1252 *p++ = '_';
1253 *p++ = '_';
1254 if (*s == '.')
1255 s++;
1256 while (*s && *s != '.')
1257 *p++ = *s++;
1258 *p = '\0';
1259 if (*s == '.')
1260 s++;
1261 if (strstr(s, "rodata") != NULL)
1262 strcat(p, "const ");
1263 else if (strstr(s, "data") != NULL)
1264 strcat(p, "data ");
1265 else
1266 strcat(p, " ");
Andy Shevchenkocbcf14a92010-08-17 13:36:40 +03001267 return r;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001268 } else {
Andrew Morton5003bab2010-08-11 00:42:26 -07001269 return strdup("");
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001270 }
1271}
1272
1273static int is_function(Elf_Sym *sym)
1274{
1275 if (sym)
1276 return ELF_ST_TYPE(sym->st_info) == STT_FUNC;
1277 else
Sam Ravnborgf6667512008-02-06 21:51:18 +01001278 return -1;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001279}
1280
Randy Dunlap00759c02011-03-15 14:13:47 -07001281static void print_section_list(const char * const list[20])
1282{
1283 const char *const *s = list;
1284
1285 while (*s) {
1286 fprintf(stderr, "%s", *s);
1287 s++;
1288 if (*s)
1289 fprintf(stderr, ", ");
1290 }
1291 fprintf(stderr, "\n");
1292}
1293
Quentin Casasnovas356ad532015-04-13 20:43:34 +09301294static inline void get_pretty_name(int is_func, const char** name, const char** name_p)
1295{
1296 switch (is_func) {
1297 case 0: *name = "variable"; *name_p = ""; break;
1298 case 1: *name = "function"; *name_p = "()"; break;
1299 default: *name = "(unknown reference)"; *name_p = ""; break;
1300 }
1301}
1302
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001303/*
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001304 * Print a warning about a section mismatch.
1305 * Try to find symbols near it so user can find it.
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001306 * Check whitelist before warning - it may be a false positive.
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001307 */
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001308static void report_sec_mismatch(const char *modname,
1309 const struct sectioncheck *mismatch,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001310 const char *fromsec,
1311 unsigned long long fromaddr,
1312 const char *fromsym,
1313 int from_is_func,
1314 const char *tosec, const char *tosym,
1315 int to_is_func)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001316{
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001317 const char *from, *from_p;
1318 const char *to, *to_p;
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001319 char *prl_from;
1320 char *prl_to;
Sam Ravnborgf6667512008-02-06 21:51:18 +01001321
Sam Ravnborge5f95c82008-02-02 18:57:18 +01001322 sec_mismatch_count++;
1323 if (!sec_mismatch_verbose)
1324 return;
1325
Quentin Casasnovas356ad532015-04-13 20:43:34 +09301326 get_pretty_name(from_is_func, &from, &from_p);
1327 get_pretty_name(to_is_func, &to, &to_p);
1328
Geert Uytterhoeven7c0ac492008-02-05 11:38:49 +01001329 warn("%s(%s+0x%llx): Section mismatch in reference from the %s %s%s "
1330 "to the %s %s:%s%s\n",
1331 modname, fromsec, fromaddr, from, fromsym, from_p, to, tosec,
1332 tosym, to_p);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001333
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001334 switch (mismatch->mismatch) {
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001335 case TEXT_TO_ANY_INIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001336 prl_from = sec2annotation(fromsec);
1337 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001338 fprintf(stderr,
Sam Ravnborgf6667512008-02-06 21:51:18 +01001339 "The function %s%s() references\n"
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001340 "the %s %s%s%s.\n"
1341 "This is often because %s lacks a %s\n"
1342 "annotation or the annotation of %s is wrong.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001343 prl_from, fromsym,
1344 to, prl_to, tosym, to_p,
1345 fromsym, prl_to, tosym);
1346 free(prl_from);
1347 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001348 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001349 case DATA_TO_ANY_INIT: {
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001350 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001351 fprintf(stderr,
1352 "The variable %s references\n"
1353 "the %s %s%s%s\n"
1354 "If the reference is valid then annotate the\n"
Sam Ravnborg8b8b76c2009-06-06 00:18:05 +02001355 "variable with __init* or __refdata (see linux/init.h) "
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001356 "or name the variable:\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001357 fromsym, to, prl_to, tosym, to_p);
Randy Dunlap00759c02011-03-15 14:13:47 -07001358 print_section_list(mismatch->symbol_white_list);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001359 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001360 break;
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001361 }
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001362 case TEXT_TO_ANY_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001363 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001364 fprintf(stderr,
1365 "The function %s() references a %s in an exit section.\n"
1366 "Often the %s %s%s has valid usage outside the exit section\n"
1367 "and the fix is to remove the %sannotation of %s.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001368 fromsym, to, to, tosym, to_p, prl_to, tosym);
1369 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001370 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001371 case DATA_TO_ANY_EXIT: {
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001372 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001373 fprintf(stderr,
1374 "The variable %s references\n"
1375 "the %s %s%s%s\n"
1376 "If the reference is valid then annotate the\n"
1377 "variable with __exit* (see linux/init.h) or "
1378 "name the variable:\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001379 fromsym, to, prl_to, tosym, to_p);
Randy Dunlap00759c02011-03-15 14:13:47 -07001380 print_section_list(mismatch->symbol_white_list);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001381 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001382 break;
1383 }
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001384 case XXXINIT_TO_SOME_INIT:
1385 case XXXEXIT_TO_SOME_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001386 prl_from = sec2annotation(fromsec);
1387 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001388 fprintf(stderr,
1389 "The %s %s%s%s references\n"
1390 "a %s %s%s%s.\n"
1391 "If %s is only used by %s then\n"
1392 "annotate %s with a matching annotation.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001393 from, prl_from, fromsym, from_p,
1394 to, prl_to, tosym, to_p,
Geert Uytterhoevenb1d26752008-02-17 14:12:10 +01001395 tosym, fromsym, tosym);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001396 free(prl_from);
1397 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001398 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001399 case ANY_INIT_TO_ANY_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001400 prl_from = sec2annotation(fromsec);
1401 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001402 fprintf(stderr,
1403 "The %s %s%s%s references\n"
1404 "a %s %s%s%s.\n"
1405 "This is often seen when error handling "
1406 "in the init function\n"
1407 "uses functionality in the exit path.\n"
1408 "The fix is often to remove the %sannotation of\n"
1409 "%s%s so it may be used outside an exit section.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001410 from, prl_from, fromsym, from_p,
1411 to, prl_to, tosym, to_p,
Andrew Morton5003bab2010-08-11 00:42:26 -07001412 prl_to, tosym, to_p);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001413 free(prl_from);
1414 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001415 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001416 case ANY_EXIT_TO_ANY_INIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001417 prl_from = sec2annotation(fromsec);
1418 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001419 fprintf(stderr,
1420 "The %s %s%s%s references\n"
1421 "a %s %s%s%s.\n"
1422 "This is often seen when error handling "
1423 "in the exit function\n"
1424 "uses functionality in the init path.\n"
1425 "The fix is often to remove the %sannotation of\n"
1426 "%s%s so it may be used outside an init section.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001427 from, prl_from, fromsym, from_p,
1428 to, prl_to, tosym, to_p,
1429 prl_to, tosym, to_p);
1430 free(prl_from);
1431 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001432 break;
1433 case EXPORT_TO_INIT_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001434 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001435 fprintf(stderr,
1436 "The symbol %s is exported and annotated %s\n"
1437 "Fix this by removing the %sannotation of %s "
1438 "or drop the export.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001439 tosym, prl_to, prl_to, tosym);
1440 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001441 break;
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301442 case EXTABLE_TO_NON_TEXT:
1443 fatal("There's a special handler for this mismatch type, "
1444 "we should never get here.");
1445 break;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001446 }
1447 fprintf(stderr, "\n");
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001448}
1449
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301450static void default_mismatch_handler(const char *modname, struct elf_info *elf,
1451 const struct sectioncheck* const mismatch,
1452 Elf_Rela *r, Elf_Sym *sym, const char *fromsec)
1453{
1454 const char *tosec;
1455 Elf_Sym *to;
1456 Elf_Sym *from;
1457 const char *tosym;
1458 const char *fromsym;
1459
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301460 from = find_elf_symbol2(elf, r->r_offset, fromsec);
1461 fromsym = sym_name(elf, from);
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301462
1463 if (!strncmp(fromsym, "reference___initcall",
1464 sizeof("reference___initcall")-1))
1465 return;
1466
Quentin Casasnovasc7a65e02015-04-13 20:43:45 +09301467 tosec = sec_name(elf, get_secindex(elf, sym));
1468 to = find_elf_symbol(elf, r->r_addend, sym);
1469 tosym = sym_name(elf, to);
1470
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301471 /* check whitelist - we may ignore it */
1472 if (secref_whitelist(mismatch,
1473 fromsec, fromsym, tosec, tosym)) {
1474 report_sec_mismatch(modname, mismatch,
1475 fromsec, r->r_offset, fromsym,
1476 is_function(from), tosec, tosym,
1477 is_function(to));
1478 }
1479}
1480
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301481static int is_executable_section(struct elf_info* elf, unsigned int section_index)
1482{
1483 if (section_index > elf->num_sections)
1484 fatal("section_index is outside elf->num_sections!\n");
1485
1486 return ((elf->sechdrs[section_index].sh_flags & SHF_EXECINSTR) == SHF_EXECINSTR);
1487}
1488
1489/*
1490 * We rely on a gross hack in section_rel[a]() calling find_extable_entry_size()
1491 * to know the sizeof(struct exception_table_entry) for the target architecture.
1492 */
1493static unsigned int extable_entry_size = 0;
1494static void find_extable_entry_size(const char* const sec, const Elf_Rela* r,
1495 const void* start, const void* cur)
1496{
1497 /*
1498 * If we're currently checking the second relocation within __ex_table,
1499 * that relocation offset tells us the offsetof(struct
1500 * exception_table_entry, fixup) which is equal to sizeof(struct
1501 * exception_table_entry) divided by two. We use that to our advantage
1502 * since there's no portable way to get that size as every architecture
1503 * seems to go with different sized types. Not pretty but better than
1504 * hard-coding the size for every architecture..
1505 */
1506 if (!extable_entry_size && cur == start + 1 &&
1507 strcmp("__ex_table", sec) == 0)
1508 extable_entry_size = r->r_offset * 2;
1509}
1510static inline bool is_extable_fault_address(Elf_Rela *r)
1511{
1512 if (!extable_entry_size == 0)
1513 fatal("extable_entry size hasn't been discovered!\n");
1514
1515 return ((r->r_offset == 0) ||
1516 (r->r_offset % extable_entry_size == 0));
1517}
1518
1519static void report_extable_warnings(const char* modname, struct elf_info* elf,
1520 const struct sectioncheck* const mismatch,
1521 Elf_Rela* r, Elf_Sym* sym,
1522 const char* fromsec, const char* tosec)
1523{
1524 Elf_Sym* fromsym = find_elf_symbol2(elf, r->r_offset, fromsec);
1525 const char* fromsym_name = sym_name(elf, fromsym);
1526 Elf_Sym* tosym = find_elf_symbol(elf, r->r_addend, sym);
1527 const char* tosym_name = sym_name(elf, tosym);
1528 const char* from_pretty_name;
1529 const char* from_pretty_name_p;
1530 const char* to_pretty_name;
1531 const char* to_pretty_name_p;
1532
1533 get_pretty_name(is_function(fromsym),
1534 &from_pretty_name, &from_pretty_name_p);
1535 get_pretty_name(is_function(tosym),
1536 &to_pretty_name, &to_pretty_name_p);
1537
1538 warn("%s(%s+0x%lx): Section mismatch in reference"
1539 " from the %s %s%s to the %s %s:%s%s\n",
1540 modname, fromsec, (long)r->r_offset, from_pretty_name,
1541 fromsym_name, from_pretty_name_p,
1542 to_pretty_name, tosec, tosym_name, to_pretty_name_p);
1543
1544 if (!match(tosec, mismatch->bad_tosec) &&
1545 is_executable_section(elf, get_secindex(elf, sym)))
1546 fprintf(stderr,
1547 "The relocation at %s+0x%lx references\n"
1548 "section \"%s\" which is not in the list of\n"
1549 "authorized sections. If you're adding a new section\n"
1550 "and/or if this reference is valid, add \"%s\" to the\n"
1551 "list of authorized sections to jump to on fault.\n"
1552 "This can be achieved by adding \"%s\" to \n"
1553 "OTHER_TEXT_SECTIONS in scripts/mod/modpost.c.\n",
1554 fromsec, (long)r->r_offset, tosec, tosec, tosec);
1555}
1556
1557static void extable_mismatch_handler(const char* modname, struct elf_info *elf,
1558 const struct sectioncheck* const mismatch,
1559 Elf_Rela* r, Elf_Sym* sym,
1560 const char *fromsec)
1561{
1562 const char* tosec = sec_name(elf, get_secindex(elf, sym));
1563
1564 sec_mismatch_count++;
1565
1566 if (sec_mismatch_verbose)
1567 report_extable_warnings(modname, elf, mismatch, r, sym,
1568 fromsec, tosec);
1569
1570 if (match(tosec, mismatch->bad_tosec))
1571 fatal("The relocation at %s+0x%lx references\n"
1572 "section \"%s\" which is black-listed.\n"
1573 "Something is seriously wrong and should be fixed.\n"
1574 "You might get more information about where this is\n"
1575 "coming from by using scripts/check_extable.sh %s\n",
1576 fromsec, (long)r->r_offset, tosec, modname);
1577 else if (!is_executable_section(elf, get_secindex(elf, sym))) {
1578 if (is_extable_fault_address(r))
1579 fatal("The relocation at %s+0x%lx references\n"
1580 "section \"%s\" which is not executable, IOW\n"
1581 "it is not possible for the kernel to fault\n"
1582 "at that address. Something is seriously wrong\n"
1583 "and should be fixed.\n",
1584 fromsec, (long)r->r_offset, tosec);
1585 else
1586 fatal("The relocation at %s+0x%lx references\n"
1587 "section \"%s\" which is not executable, IOW\n"
1588 "the kernel will fault if it ever tries to\n"
1589 "jump to it. Something is seriously wrong\n"
1590 "and should be fixed.\n",
1591 fromsec, (long)r->r_offset, tosec);
1592 }
1593}
1594
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001595static void check_section_mismatch(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001596 Elf_Rela *r, Elf_Sym *sym, const char *fromsec)
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001597{
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301598 const char *tosec = sec_name(elf, get_secindex(elf, sym));;
1599 const struct sectioncheck *mismatch = section_mismatch(fromsec, tosec);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001600
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001601 if (mismatch) {
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301602 if (mismatch->handler)
1603 mismatch->handler(modname, elf, mismatch,
1604 r, sym, fromsec);
1605 else
1606 default_mismatch_handler(modname, elf, mismatch,
1607 r, sym, fromsec);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001608 }
1609}
1610
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001611static unsigned int *reloc_location(struct elf_info *elf,
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001612 Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001613{
1614 Elf_Shdr *sechdrs = elf->sechdrs;
Anders Kaseorg68457562011-05-19 16:55:27 -06001615 int section = sechdr->sh_info;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001616
1617 return (void *)elf->hdr + sechdrs[section].sh_offset +
Olof Johansson731ece42010-12-10 02:09:23 -06001618 r->r_offset;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001619}
1620
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001621static int addend_386_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001622{
1623 unsigned int r_typ = ELF_R_TYPE(r->r_info);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001624 unsigned int *location = reloc_location(elf, sechdr, r);
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001625
1626 switch (r_typ) {
1627 case R_386_32:
1628 r->r_addend = TO_NATIVE(*location);
1629 break;
1630 case R_386_PC32:
1631 r->r_addend = TO_NATIVE(*location) + 4;
1632 /* For CONFIG_RELOCATABLE=y */
1633 if (elf->hdr->e_type == ET_EXEC)
1634 r->r_addend += r->r_offset;
1635 break;
1636 }
1637 return 0;
1638}
1639
Tony Lindgren6e2e3402012-02-14 21:58:56 +01001640#ifndef R_ARM_CALL
1641#define R_ARM_CALL 28
1642#endif
1643#ifndef R_ARM_JUMP24
1644#define R_ARM_JUMP24 29
1645#endif
1646
David A. Longc9698e52014-02-14 22:41:18 +01001647#ifndef R_ARM_THM_CALL
1648#define R_ARM_THM_CALL 10
1649#endif
1650#ifndef R_ARM_THM_JUMP24
1651#define R_ARM_THM_JUMP24 30
1652#endif
1653#ifndef R_ARM_THM_JUMP19
1654#define R_ARM_THM_JUMP19 51
1655#endif
1656
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001657static int addend_arm_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001658{
1659 unsigned int r_typ = ELF_R_TYPE(r->r_info);
1660
1661 switch (r_typ) {
1662 case R_ARM_ABS32:
1663 /* From ARM ABI: (S + A) | T */
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001664 r->r_addend = (int)(long)
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001665 (elf->symtab_start + ELF_R_SYM(r->r_info));
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001666 break;
1667 case R_ARM_PC24:
Tony Lindgren6e2e3402012-02-14 21:58:56 +01001668 case R_ARM_CALL:
1669 case R_ARM_JUMP24:
David A. Longc9698e52014-02-14 22:41:18 +01001670 case R_ARM_THM_CALL:
1671 case R_ARM_THM_JUMP24:
1672 case R_ARM_THM_JUMP19:
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001673 /* From ARM ABI: ((S + A) | T) - P */
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001674 r->r_addend = (int)(long)(elf->hdr +
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001675 sechdr->sh_offset +
1676 (r->r_offset - sechdr->sh_addr));
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001677 break;
1678 default:
1679 return 1;
1680 }
1681 return 0;
1682}
1683
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001684static int addend_mips_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001685{
1686 unsigned int r_typ = ELF_R_TYPE(r->r_info);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001687 unsigned int *location = reloc_location(elf, sechdr, r);
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001688 unsigned int inst;
1689
1690 if (r_typ == R_MIPS_HI16)
1691 return 1; /* skip this */
1692 inst = TO_NATIVE(*location);
1693 switch (r_typ) {
1694 case R_MIPS_LO16:
1695 r->r_addend = inst & 0xffff;
1696 break;
1697 case R_MIPS_26:
1698 r->r_addend = (inst & 0x03ffffff) << 2;
1699 break;
1700 case R_MIPS_32:
1701 r->r_addend = inst;
1702 break;
1703 }
1704 return 0;
1705}
1706
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001707static void section_rela(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001708 Elf_Shdr *sechdr)
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001709{
1710 Elf_Sym *sym;
1711 Elf_Rela *rela;
1712 Elf_Rela r;
1713 unsigned int r_sym;
1714 const char *fromsec;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001715
Sam Ravnborgff13f922008-01-23 19:54:27 +01001716 Elf_Rela *start = (void *)elf->hdr + sechdr->sh_offset;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001717 Elf_Rela *stop = (void *)start + sechdr->sh_size;
1718
Sam Ravnborgff13f922008-01-23 19:54:27 +01001719 fromsec = sech_name(elf, sechdr);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001720 fromsec += strlen(".rela");
1721 /* if from section (name) is know good then skip it */
Anders Kaseorgb614a692009-04-23 16:49:33 -04001722 if (match(fromsec, section_white_list))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001723 return;
Sam Ravnborge241a632008-01-28 20:13:13 +01001724
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001725 for (rela = start; rela < stop; rela++) {
1726 r.r_offset = TO_NATIVE(rela->r_offset);
1727#if KERNEL_ELFCLASS == ELFCLASS64
Sam Ravnborgff13f922008-01-23 19:54:27 +01001728 if (elf->hdr->e_machine == EM_MIPS) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001729 unsigned int r_typ;
1730 r_sym = ELF64_MIPS_R_SYM(rela->r_info);
1731 r_sym = TO_NATIVE(r_sym);
1732 r_typ = ELF64_MIPS_R_TYPE(rela->r_info);
1733 r.r_info = ELF64_R_INFO(r_sym, r_typ);
1734 } else {
1735 r.r_info = TO_NATIVE(rela->r_info);
1736 r_sym = ELF_R_SYM(r.r_info);
1737 }
1738#else
1739 r.r_info = TO_NATIVE(rela->r_info);
1740 r_sym = ELF_R_SYM(r.r_info);
1741#endif
1742 r.r_addend = TO_NATIVE(rela->r_addend);
1743 sym = elf->symtab_start + r_sym;
1744 /* Skip special sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001745 if (is_shndx_special(sym->st_shndx))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001746 continue;
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301747 find_extable_entry_size(fromsec, &r, start, rela);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001748 check_section_mismatch(modname, elf, &r, sym, fromsec);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001749 }
1750}
1751
1752static void section_rel(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001753 Elf_Shdr *sechdr)
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001754{
1755 Elf_Sym *sym;
1756 Elf_Rel *rel;
1757 Elf_Rela r;
1758 unsigned int r_sym;
1759 const char *fromsec;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001760
Sam Ravnborgff13f922008-01-23 19:54:27 +01001761 Elf_Rel *start = (void *)elf->hdr + sechdr->sh_offset;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001762 Elf_Rel *stop = (void *)start + sechdr->sh_size;
1763
Sam Ravnborgff13f922008-01-23 19:54:27 +01001764 fromsec = sech_name(elf, sechdr);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001765 fromsec += strlen(".rel");
1766 /* if from section (name) is know good then skip it */
Anders Kaseorgb614a692009-04-23 16:49:33 -04001767 if (match(fromsec, section_white_list))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001768 return;
1769
1770 for (rel = start; rel < stop; rel++) {
1771 r.r_offset = TO_NATIVE(rel->r_offset);
1772#if KERNEL_ELFCLASS == ELFCLASS64
Sam Ravnborgff13f922008-01-23 19:54:27 +01001773 if (elf->hdr->e_machine == EM_MIPS) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001774 unsigned int r_typ;
1775 r_sym = ELF64_MIPS_R_SYM(rel->r_info);
1776 r_sym = TO_NATIVE(r_sym);
1777 r_typ = ELF64_MIPS_R_TYPE(rel->r_info);
1778 r.r_info = ELF64_R_INFO(r_sym, r_typ);
1779 } else {
1780 r.r_info = TO_NATIVE(rel->r_info);
1781 r_sym = ELF_R_SYM(r.r_info);
1782 }
1783#else
1784 r.r_info = TO_NATIVE(rel->r_info);
1785 r_sym = ELF_R_SYM(r.r_info);
1786#endif
1787 r.r_addend = 0;
Sam Ravnborgff13f922008-01-23 19:54:27 +01001788 switch (elf->hdr->e_machine) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001789 case EM_386:
1790 if (addend_386_rel(elf, sechdr, &r))
1791 continue;
1792 break;
1793 case EM_ARM:
1794 if (addend_arm_rel(elf, sechdr, &r))
1795 continue;
1796 break;
1797 case EM_MIPS:
1798 if (addend_mips_rel(elf, sechdr, &r))
1799 continue;
1800 break;
1801 }
1802 sym = elf->symtab_start + r_sym;
1803 /* Skip special sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001804 if (is_shndx_special(sym->st_shndx))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001805 continue;
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301806 find_extable_entry_size(fromsec, &r, start, rel);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001807 check_section_mismatch(modname, elf, &r, sym, fromsec);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001808 }
1809}
1810
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001811/**
1812 * A module includes a number of sections that are discarded
1813 * either when loaded or when used as built-in.
1814 * For loaded modules all functions marked __init and all data
Uwe Kleine-Königb5950762010-11-01 15:38:34 -04001815 * marked __initdata will be discarded when the module has been initialized.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001816 * Likewise for modules used built-in the sections marked __exit
1817 * are discarded because __exit marked function are supposed to be called
Ben Dooks32be1d22008-07-29 22:33:44 -07001818 * only when a module is unloaded which never happens for built-in modules.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001819 * The check_sec_ref() function traverses all relocation records
1820 * to find all references to a section that reference a section that will
1821 * be discarded and warns about it.
1822 **/
1823static void check_sec_ref(struct module *mod, const char *modname,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001824 struct elf_info *elf)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001825{
1826 int i;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001827 Elf_Shdr *sechdrs = elf->sechdrs;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001828
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001829 /* Walk through all sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001830 for (i = 0; i < elf->num_sections; i++) {
Anders Kaseorgb614a692009-04-23 16:49:33 -04001831 check_section(modname, elf, &elf->sechdrs[i]);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001832 /* We want to process only relocation sections and not .init */
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001833 if (sechdrs[i].sh_type == SHT_RELA)
Sam Ravnborg10668222008-01-13 22:21:31 +01001834 section_rela(modname, elf, &elf->sechdrs[i]);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001835 else if (sechdrs[i].sh_type == SHT_REL)
Sam Ravnborg10668222008-01-13 22:21:31 +01001836 section_rel(modname, elf, &elf->sechdrs[i]);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001837 }
1838}
1839
Andi Kleen7d02b492014-02-08 09:01:12 +01001840static char *remove_dot(char *s)
1841{
Michal Nazarewiczfcd38ed2014-07-27 07:27:01 +09301842 size_t n = strcspn(s, ".");
Andi Kleen7d02b492014-02-08 09:01:12 +01001843
Michal Nazarewiczfcd38ed2014-07-27 07:27:01 +09301844 if (n && s[n]) {
1845 size_t m = strspn(s + n + 1, "0123456789");
1846 if (m && (s[n + m] == '.' || s[n + m] == 0))
Andi Kleen7d02b492014-02-08 09:01:12 +01001847 s[n] = 0;
1848 }
1849 return s;
1850}
1851
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01001852static void read_symbols(char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001853{
1854 const char *symname;
1855 char *version;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001856 char *license;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001857 struct module *mod;
1858 struct elf_info info = { };
1859 Elf_Sym *sym;
1860
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +01001861 if (!parse_elf(&info, modname))
1862 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001863
1864 mod = new_module(modname);
1865
1866 /* When there's no vmlinux, don't print warnings about
1867 * unresolved symbols (since there'll be too many ;) */
1868 if (is_vmlinux(modname)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001869 have_vmlinux = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001870 mod->skip = 1;
1871 }
1872
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001873 license = get_modinfo(info.modinfo, info.modinfo_len, "license");
Sam Ravnborg2fa36562008-04-26 21:07:26 +02001874 if (info.modinfo && !license && !is_vmlinux(modname))
1875 warn("modpost: missing MODULE_LICENSE() in %s\n"
1876 "see include/linux/module.h for "
1877 "more information\n", modname);
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001878 while (license) {
1879 if (license_is_gpl_compatible(license))
1880 mod->gpl_compatible = 1;
1881 else {
1882 mod->gpl_compatible = 0;
1883 break;
1884 }
1885 license = get_next_modinfo(info.modinfo, info.modinfo_len,
1886 "license", license);
1887 }
1888
Linus Torvalds1da177e2005-04-16 15:20:36 -07001889 for (sym = info.symtab_start; sym < info.symtab_stop; sym++) {
Andi Kleen7d02b492014-02-08 09:01:12 +01001890 symname = remove_dot(info.strtab + sym->st_name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001891
1892 handle_modversions(mod, &info, sym, symname);
1893 handle_moddevtable(mod, &info, sym, symname);
1894 }
Sam Ravnborgd1f25e62008-01-17 21:17:42 +01001895 if (!is_vmlinux(modname) ||
Sam Ravnborg10668222008-01-13 22:21:31 +01001896 (is_vmlinux(modname) && vmlinux_section_warnings))
1897 check_sec_ref(mod, modname, &info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001898
1899 version = get_modinfo(info.modinfo, info.modinfo_len, "version");
1900 if (version)
1901 maybe_frob_rcs_version(modname, version, info.modinfo,
1902 version - (char *)info.hdr);
1903 if (version || (all_versions && !is_vmlinux(modname)))
1904 get_src_version(modname, mod->srcversion,
1905 sizeof(mod->srcversion)-1);
1906
1907 parse_elf_finish(&info);
1908
Rusty Russell8c8ef422009-03-31 13:05:34 -06001909 /* Our trick to get versioning for module struct etc. - it's
Linus Torvalds1da177e2005-04-16 15:20:36 -07001910 * never passed as an argument to an exported function, so
1911 * the automatic versioning doesn't pick it up, but it's really
1912 * important anyhow */
1913 if (modversions)
Rusty Russell8c8ef422009-03-31 13:05:34 -06001914 mod->unres = alloc_symbol("module_layout", 0, mod->unres);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001915}
1916
Rusty Russell712f9b42013-04-04 17:37:38 +10301917static void read_symbols_from_files(const char *filename)
1918{
1919 FILE *in = stdin;
1920 char fname[PATH_MAX];
1921
1922 if (strcmp(filename, "-") != 0) {
1923 in = fopen(filename, "r");
1924 if (!in)
1925 fatal("Can't open filenames file %s: %m", filename);
1926 }
1927
1928 while (fgets(fname, PATH_MAX, in) != NULL) {
1929 if (strends(fname, "\n"))
1930 fname[strlen(fname)-1] = '\0';
1931 read_symbols(fname);
1932 }
1933
1934 if (in != stdin)
1935 fclose(in);
1936}
1937
Linus Torvalds1da177e2005-04-16 15:20:36 -07001938#define SZ 500
1939
1940/* We first write the generated file into memory using the
1941 * following helper, then compare to the file on disk and
1942 * only update the later if anything changed */
1943
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01001944void __attribute__((format(printf, 2, 3))) buf_printf(struct buffer *buf,
1945 const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001946{
1947 char tmp[SZ];
1948 int len;
1949 va_list ap;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001950
Linus Torvalds1da177e2005-04-16 15:20:36 -07001951 va_start(ap, fmt);
1952 len = vsnprintf(tmp, SZ, fmt, ap);
Sam Ravnborg7670f0232006-03-16 23:04:08 -08001953 buf_write(buf, tmp, len);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001954 va_end(ap);
1955}
1956
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01001957void buf_write(struct buffer *buf, const char *s, int len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001958{
1959 if (buf->size - buf->pos < len) {
Sam Ravnborg7670f0232006-03-16 23:04:08 -08001960 buf->size += len + SZ;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001961 buf->p = realloc(buf->p, buf->size);
1962 }
1963 strncpy(buf->p + buf->pos, s, len);
1964 buf->pos += len;
1965}
1966
Sam Ravnborgc96fca22006-07-01 11:44:23 +02001967static void check_for_gpl_usage(enum export exp, const char *m, const char *s)
1968{
1969 const char *e = is_vmlinux(m) ?"":".ko";
1970
1971 switch (exp) {
1972 case export_gpl:
1973 fatal("modpost: GPL-incompatible module %s%s "
1974 "uses GPL-only symbol '%s'\n", m, e, s);
1975 break;
1976 case export_unused_gpl:
1977 fatal("modpost: GPL-incompatible module %s%s "
1978 "uses GPL-only symbol marked UNUSED '%s'\n", m, e, s);
1979 break;
1980 case export_gpl_future:
1981 warn("modpost: GPL-incompatible module %s%s "
1982 "uses future GPL-only symbol '%s'\n", m, e, s);
1983 break;
1984 case export_plain:
1985 case export_unused:
1986 case export_unknown:
1987 /* ignore */
1988 break;
1989 }
1990}
1991
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001992static void check_for_unused(enum export exp, const char *m, const char *s)
Sam Ravnborgc96fca22006-07-01 11:44:23 +02001993{
1994 const char *e = is_vmlinux(m) ?"":".ko";
1995
1996 switch (exp) {
1997 case export_unused:
1998 case export_unused_gpl:
1999 warn("modpost: module %s%s "
2000 "uses symbol '%s' marked UNUSED\n", m, e, s);
2001 break;
2002 default:
2003 /* ignore */
2004 break;
2005 }
2006}
2007
2008static void check_exports(struct module *mod)
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002009{
2010 struct symbol *s, *exp;
2011
2012 for (s = mod->unres; s; s = s->next) {
Andrew Morton6449bd62006-06-09 20:45:06 -07002013 const char *basename;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002014 exp = find_symbol(s->name);
2015 if (!exp || exp->module == mod)
2016 continue;
Andrew Morton6449bd62006-06-09 20:45:06 -07002017 basename = strrchr(mod->name, '/');
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002018 if (basename)
2019 basename++;
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002020 else
2021 basename = mod->name;
2022 if (!mod->gpl_compatible)
2023 check_for_gpl_usage(exp->export, basename, exp->name);
2024 check_for_unused(exp->export, basename, exp->name);
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002025 }
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002026}
2027
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002028/**
2029 * Header for the generated file
2030 **/
2031static void add_header(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002032{
2033 buf_printf(b, "#include <linux/module.h>\n");
2034 buf_printf(b, "#include <linux/vermagic.h>\n");
2035 buf_printf(b, "#include <linux/compiler.h>\n");
2036 buf_printf(b, "\n");
2037 buf_printf(b, "MODULE_INFO(vermagic, VERMAGIC_STRING);\n");
2038 buf_printf(b, "\n");
Andi Kleene0f244c2013-10-23 10:57:58 +10302039 buf_printf(b, "__visible struct module __this_module\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002040 buf_printf(b, "__attribute__((section(\".gnu.linkonce.this_module\"))) = {\n");
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002041 buf_printf(b, "\t.name = KBUILD_MODNAME,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002042 if (mod->has_init)
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002043 buf_printf(b, "\t.init = init_module,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002044 if (mod->has_cleanup)
2045 buf_printf(b, "#ifdef CONFIG_MODULE_UNLOAD\n"
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002046 "\t.exit = cleanup_module,\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -07002047 "#endif\n");
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002048 buf_printf(b, "\t.arch = MODULE_ARCH_INIT,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002049 buf_printf(b, "};\n");
2050}
2051
Ben Hutchings2449b8b2011-10-24 15:12:28 +02002052static void add_intree_flag(struct buffer *b, int is_intree)
2053{
2054 if (is_intree)
2055 buf_printf(b, "\nMODULE_INFO(intree, \"Y\");\n");
2056}
2057
Trevor Keith5c725132009-09-22 16:43:38 -07002058static void add_staging_flag(struct buffer *b, const char *name)
Greg Kroah-Hartmana9860bf2008-09-24 14:46:44 -07002059{
2060 static const char *staging_dir = "drivers/staging";
2061
2062 if (strncmp(staging_dir, name, strlen(staging_dir)) == 0)
2063 buf_printf(b, "\nMODULE_INFO(staging, \"Y\");\n");
2064}
2065
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002066/**
2067 * Record CRCs for unresolved symbols
2068 **/
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002069static int add_versions(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002070{
2071 struct symbol *s, *exp;
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002072 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002073
2074 for (s = mod->unres; s; s = s->next) {
2075 exp = find_symbol(s->name);
2076 if (!exp || exp->module == mod) {
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002077 if (have_vmlinux && !s->weak) {
Matthew Wilcox2a116652006-10-07 05:35:32 -06002078 if (warn_unresolved) {
2079 warn("\"%s\" [%s.ko] undefined!\n",
2080 s->name, mod->name);
2081 } else {
2082 merror("\"%s\" [%s.ko] undefined!\n",
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09002083 s->name, mod->name);
Matthew Wilcox2a116652006-10-07 05:35:32 -06002084 err = 1;
2085 }
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002086 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002087 continue;
2088 }
2089 s->module = exp->module;
2090 s->crc_valid = exp->crc_valid;
2091 s->crc = exp->crc;
2092 }
2093
2094 if (!modversions)
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002095 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002096
2097 buf_printf(b, "\n");
2098 buf_printf(b, "static const struct modversion_info ____versions[]\n");
Adrian Bunk3ff6eec2008-01-24 22:16:20 +01002099 buf_printf(b, "__used\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002100 buf_printf(b, "__attribute__((section(\"__versions\"))) = {\n");
2101
2102 for (s = mod->unres; s; s = s->next) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002103 if (!s->module)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002104 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002105 if (!s->crc_valid) {
Sam Ravnborgcb805142006-01-28 16:57:26 +01002106 warn("\"%s\" [%s.ko] has no CRC!\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07002107 s->name, mod->name);
2108 continue;
2109 }
James Hogana53a11f32013-04-29 11:36:59 +09302110 buf_printf(b, "\t{ %#8x, __VMLINUX_SYMBOL_STR(%s) },\n",
James Hogana4b6a772013-03-18 19:38:56 +10302111 s->crc, s->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002112 }
2113
2114 buf_printf(b, "};\n");
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002115
2116 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002117}
2118
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002119static void add_depends(struct buffer *b, struct module *mod,
2120 struct module *modules)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002121{
2122 struct symbol *s;
2123 struct module *m;
2124 int first = 1;
2125
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002126 for (m = modules; m; m = m->next)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002127 m->seen = is_vmlinux(m->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002128
2129 buf_printf(b, "\n");
2130 buf_printf(b, "static const char __module_depends[]\n");
Adrian Bunk3ff6eec2008-01-24 22:16:20 +01002131 buf_printf(b, "__used\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002132 buf_printf(b, "__attribute__((section(\".modinfo\"))) =\n");
2133 buf_printf(b, "\"depends=");
2134 for (s = mod->unres; s; s = s->next) {
Sam Ravnborga61b2df2007-02-26 19:46:52 +01002135 const char *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002136 if (!s->module)
2137 continue;
2138
2139 if (s->module->seen)
2140 continue;
2141
2142 s->module->seen = 1;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002143 p = strrchr(s->module->name, '/');
2144 if (p)
Sam Ravnborga61b2df2007-02-26 19:46:52 +01002145 p++;
2146 else
2147 p = s->module->name;
2148 buf_printf(b, "%s%s", first ? "" : ",", p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002149 first = 0;
2150 }
2151 buf_printf(b, "\";\n");
2152}
2153
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002154static void add_srcversion(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002155{
2156 if (mod->srcversion[0]) {
2157 buf_printf(b, "\n");
2158 buf_printf(b, "MODULE_INFO(srcversion, \"%s\");\n",
2159 mod->srcversion);
2160 }
2161}
2162
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002163static void write_if_changed(struct buffer *b, const char *fname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002164{
2165 char *tmp;
2166 FILE *file;
2167 struct stat st;
2168
2169 file = fopen(fname, "r");
2170 if (!file)
2171 goto write;
2172
2173 if (fstat(fileno(file), &st) < 0)
2174 goto close_write;
2175
2176 if (st.st_size != b->pos)
2177 goto close_write;
2178
2179 tmp = NOFAIL(malloc(b->pos));
2180 if (fread(tmp, 1, b->pos, file) != b->pos)
2181 goto free_write;
2182
2183 if (memcmp(tmp, b->p, b->pos) != 0)
2184 goto free_write;
2185
2186 free(tmp);
2187 fclose(file);
2188 return;
2189
2190 free_write:
2191 free(tmp);
2192 close_write:
2193 fclose(file);
2194 write:
2195 file = fopen(fname, "w");
2196 if (!file) {
2197 perror(fname);
2198 exit(1);
2199 }
2200 if (fwrite(b->p, 1, b->pos, file) != b->pos) {
2201 perror(fname);
2202 exit(1);
2203 }
2204 fclose(file);
2205}
2206
Ram Paibd5cbce2006-06-08 22:12:53 -07002207/* parse Module.symvers file. line format:
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002208 * 0x12345678<tab>symbol<tab>module[[<tab>export]<tab>something]
Ram Paibd5cbce2006-06-08 22:12:53 -07002209 **/
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002210static void read_dump(const char *fname, unsigned int kernel)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002211{
2212 unsigned long size, pos = 0;
2213 void *file = grab_file(fname, &size);
2214 char *line;
2215
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002216 if (!file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002217 /* No symbol versions, silently ignore */
2218 return;
2219
2220 while ((line = get_next_line(&pos, file, size))) {
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002221 char *symname, *modname, *d, *export, *end;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002222 unsigned int crc;
2223 struct module *mod;
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002224 struct symbol *s;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002225
2226 if (!(symname = strchr(line, '\t')))
2227 goto fail;
2228 *symname++ = '\0';
2229 if (!(modname = strchr(symname, '\t')))
2230 goto fail;
2231 *modname++ = '\0';
Laurent Riffard9ac545b2006-06-11 08:02:06 +02002232 if ((export = strchr(modname, '\t')) != NULL)
Ram Paibd5cbce2006-06-08 22:12:53 -07002233 *export++ = '\0';
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002234 if (export && ((end = strchr(export, '\t')) != NULL))
2235 *end = '\0';
Linus Torvalds1da177e2005-04-16 15:20:36 -07002236 crc = strtoul(line, &d, 16);
2237 if (*symname == '\0' || *modname == '\0' || *d != '\0')
2238 goto fail;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002239 mod = find_module(modname);
2240 if (!mod) {
2241 if (is_vmlinux(modname))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002242 have_vmlinux = 1;
Jan Beulich0fa3a882009-03-12 12:28:30 +00002243 mod = new_module(modname);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002244 mod->skip = 1;
2245 }
Ram Paibd5cbce2006-06-08 22:12:53 -07002246 s = sym_add_exported(symname, mod, export_no(export));
Sam Ravnborg8e70c452006-01-28 22:22:33 +01002247 s->kernel = kernel;
2248 s->preloaded = 1;
Ram Paibd5cbce2006-06-08 22:12:53 -07002249 sym_update_crc(symname, mod, crc, export_no(export));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002250 }
Christian Engelmayer2ee41e62014-04-28 11:34:32 +09302251 release_file(file, size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002252 return;
2253fail:
Christian Engelmayer2ee41e62014-04-28 11:34:32 +09302254 release_file(file, size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002255 fatal("parse error in symbol dump file\n");
2256}
2257
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002258/* For normal builds always dump all symbols.
2259 * For external modules only dump symbols
2260 * that are not read from kernel Module.symvers.
2261 **/
2262static int dump_sym(struct symbol *sym)
2263{
2264 if (!external_module)
2265 return 1;
2266 if (sym->vmlinux || sym->kernel)
2267 return 0;
2268 return 1;
2269}
Sam Ravnborg62070fa2006-03-03 16:46:04 +01002270
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002271static void write_dump(const char *fname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002272{
2273 struct buffer buf = { };
2274 struct symbol *symbol;
2275 int n;
2276
2277 for (n = 0; n < SYMBOL_HASH_SIZE ; n++) {
2278 symbol = symbolhash[n];
2279 while (symbol) {
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002280 if (dump_sym(symbol))
Ram Paibd5cbce2006-06-08 22:12:53 -07002281 buf_printf(&buf, "0x%08x\t%s\t%s\t%s\n",
Sam Ravnborg62070fa2006-03-03 16:46:04 +01002282 symbol->crc, symbol->name,
Ram Paibd5cbce2006-06-08 22:12:53 -07002283 symbol->module->name,
2284 export_str(symbol->export));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002285 symbol = symbol->next;
2286 }
2287 }
2288 write_if_changed(&buf, fname);
2289}
2290
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002291struct ext_sym_list {
2292 struct ext_sym_list *next;
2293 const char *file;
2294};
2295
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002296int main(int argc, char **argv)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002297{
2298 struct module *mod;
2299 struct buffer buf = { };
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002300 char *kernel_read = NULL, *module_read = NULL;
Rusty Russell712f9b42013-04-04 17:37:38 +10302301 char *dump_write = NULL, *files_source = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002302 int opt;
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002303 int err;
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002304 struct ext_sym_list *extsym_iter;
2305 struct ext_sym_list *extsym_start = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002306
Guenter Roeckeed380f2013-09-23 15:23:54 +09302307 while ((opt = getopt(argc, argv, "i:I:e:mnsST:o:awM:K:")) != -1) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002308 switch (opt) {
2309 case 'i':
2310 kernel_read = optarg;
2311 break;
2312 case 'I':
2313 module_read = optarg;
2314 external_module = 1;
2315 break;
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002316 case 'e':
2317 external_module = 1;
2318 extsym_iter =
2319 NOFAIL(malloc(sizeof(*extsym_iter)));
2320 extsym_iter->next = extsym_start;
2321 extsym_iter->file = optarg;
2322 extsym_start = extsym_iter;
2323 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002324 case 'm':
2325 modversions = 1;
2326 break;
Guenter Roeckeed380f2013-09-23 15:23:54 +09302327 case 'n':
2328 ignore_missing_files = 1;
2329 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002330 case 'o':
2331 dump_write = optarg;
2332 break;
2333 case 'a':
2334 all_versions = 1;
2335 break;
2336 case 's':
2337 vmlinux_section_warnings = 0;
2338 break;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01002339 case 'S':
2340 sec_mismatch_verbose = 0;
2341 break;
Rusty Russell712f9b42013-04-04 17:37:38 +10302342 case 'T':
2343 files_source = optarg;
2344 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002345 case 'w':
2346 warn_unresolved = 1;
2347 break;
2348 default:
2349 exit(1);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002350 }
2351 }
2352
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002353 if (kernel_read)
2354 read_dump(kernel_read, 1);
2355 if (module_read)
2356 read_dump(module_read, 0);
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002357 while (extsym_start) {
2358 read_dump(extsym_start->file, 0);
2359 extsym_iter = extsym_start->next;
2360 free(extsym_start);
2361 extsym_start = extsym_iter;
2362 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002363
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002364 while (optind < argc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002365 read_symbols(argv[optind++]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002366
Rusty Russell712f9b42013-04-04 17:37:38 +10302367 if (files_source)
2368 read_symbols_from_files(files_source);
2369
Linus Torvalds1da177e2005-04-16 15:20:36 -07002370 for (mod = modules; mod; mod = mod->next) {
2371 if (mod->skip)
2372 continue;
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002373 check_exports(mod);
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002374 }
2375
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002376 err = 0;
2377
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002378 for (mod = modules; mod; mod = mod->next) {
Mathias Kraused93e1712014-08-27 20:28:56 +09302379 char fname[PATH_MAX];
Andi Kleen666ab412007-11-22 03:43:10 +01002380
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002381 if (mod->skip)
2382 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002383
2384 buf.pos = 0;
2385
2386 add_header(&buf, mod);
Ben Hutchings2449b8b2011-10-24 15:12:28 +02002387 add_intree_flag(&buf, !external_module);
Greg Kroah-Hartmana9860bf2008-09-24 14:46:44 -07002388 add_staging_flag(&buf, mod->name);
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002389 err |= add_versions(&buf, mod);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002390 add_depends(&buf, mod, modules);
2391 add_moddevtable(&buf, mod);
2392 add_srcversion(&buf, mod);
2393
2394 sprintf(fname, "%s.mod.c", mod->name);
2395 write_if_changed(&buf, fname);
2396 }
2397
2398 if (dump_write)
2399 write_dump(dump_write);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01002400 if (sec_mismatch_count && !sec_mismatch_verbose)
Geert Uytterhoeven7c0ac492008-02-05 11:38:49 +01002401 warn("modpost: Found %d section mismatch(es).\n"
2402 "To see full details build your kernel with:\n"
2403 "'make CONFIG_DEBUG_SECTION_MISMATCH=y'\n",
2404 sec_mismatch_count);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002405
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002406 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002407}