blob: b920d186ad4a9abad1ed5557c7504afd96b2548f [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;
Nicolas Boichat47490ec2015-10-06 09:44:42 +103041static int sec_mismatch_fatal = 0;
Guenter Roeckeed380f2013-09-23 15:23:54 +093042/* ignore missing files */
43static int ignore_missing_files;
Sam Ravnborg588ccd72008-01-24 21:12:37 +010044
Sam Ravnborgc96fca22006-07-01 11:44:23 +020045enum export {
46 export_plain, export_unused, export_gpl,
47 export_unused_gpl, export_gpl_future, export_unknown
48};
Linus Torvalds1da177e2005-04-16 15:20:36 -070049
Andi Kleen6d9a89e2007-11-22 03:43:08 +010050#define PRINTF __attribute__ ((format (printf, 1, 2)))
51
52PRINTF void fatal(const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -070053{
54 va_list arglist;
55
56 fprintf(stderr, "FATAL: ");
57
58 va_start(arglist, fmt);
59 vfprintf(stderr, fmt, arglist);
60 va_end(arglist);
61
62 exit(1);
63}
64
Andi Kleen6d9a89e2007-11-22 03:43:08 +010065PRINTF void warn(const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -070066{
67 va_list arglist;
68
69 fprintf(stderr, "WARNING: ");
70
71 va_start(arglist, fmt);
72 vfprintf(stderr, fmt, arglist);
73 va_end(arglist);
74}
75
Andi Kleen6d9a89e2007-11-22 03:43:08 +010076PRINTF void merror(const char *fmt, ...)
Matthew Wilcox2a116652006-10-07 05:35:32 -060077{
78 va_list arglist;
79
80 fprintf(stderr, "ERROR: ");
81
82 va_start(arglist, fmt);
83 vfprintf(stderr, fmt, arglist);
84 va_end(arglist);
85}
86
Rusty Russelld4ef1c32013-04-04 17:37:32 +103087static inline bool strends(const char *str, const char *postfix)
88{
89 if (strlen(str) < strlen(postfix))
90 return false;
91
92 return strcmp(str + strlen(str) - strlen(postfix), postfix) == 0;
93}
94
Sam Ravnborg040fcc82006-01-28 22:15:55 +010095static int is_vmlinux(const char *modname)
96{
97 const char *myname;
98
Sam Ravnborgdf578e72008-01-11 19:17:15 +010099 myname = strrchr(modname, '/');
100 if (myname)
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100101 myname++;
102 else
103 myname = modname;
104
Sam Ravnborg741f98f2007-07-17 10:54:06 +0200105 return (strcmp(myname, "vmlinux") == 0) ||
106 (strcmp(myname, "vmlinux.o") == 0);
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100107}
108
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109void *do_nofail(void *ptr, const char *expr)
110{
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100111 if (!ptr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112 fatal("modpost: Memory allocation failure: %s.\n", expr);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100113
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 return ptr;
115}
116
117/* A list of all modules we processed */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118static struct module *modules;
119
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100120static struct module *find_module(char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121{
122 struct module *mod;
123
124 for (mod = modules; mod; mod = mod->next)
125 if (strcmp(mod->name, modname) == 0)
126 break;
127 return mod;
128}
129
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030130static struct module *new_module(const char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131{
132 struct module *mod;
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030133 char *p;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100134
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135 mod = NOFAIL(malloc(sizeof(*mod)));
136 memset(mod, 0, sizeof(*mod));
137 p = NOFAIL(strdup(modname));
138
139 /* strip trailing .o */
Rusty Russelld4ef1c32013-04-04 17:37:32 +1030140 if (strends(p, ".o")) {
141 p[strlen(p) - 2] = '\0';
142 mod->is_dot_o = 1;
143 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144
145 /* add to list */
146 mod->name = p;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200147 mod->gpl_compatible = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700148 mod->next = modules;
149 modules = mod;
150
151 return mod;
152}
153
154/* A hash of all exported symbols,
155 * struct symbol is also used for lists of unresolved symbols */
156
157#define SYMBOL_HASH_SIZE 1024
158
159struct symbol {
160 struct symbol *next;
161 struct module *module;
162 unsigned int crc;
163 int crc_valid;
164 unsigned int weak:1;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100165 unsigned int vmlinux:1; /* 1 if symbol is defined in vmlinux */
166 unsigned int kernel:1; /* 1 if symbol is from kernel
167 * (only for external modules) **/
Rusty Russellb6568b12013-11-07 12:09:13 +1030168 unsigned int preloaded:1; /* 1 if symbol from Module.symvers, or crc */
Ram Paibd5cbce2006-06-08 22:12:53 -0700169 enum export export; /* Type of export */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170 char name[0];
171};
172
173static struct symbol *symbolhash[SYMBOL_HASH_SIZE];
174
175/* This is based on the hash agorithm from gdbm, via tdb */
176static inline unsigned int tdb_hash(const char *name)
177{
178 unsigned value; /* Used to compute the hash value. */
179 unsigned i; /* Used to cycle through random values. */
180
181 /* Set the initial value from the key size. */
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100182 for (value = 0x238F13AF * strlen(name), i = 0; name[i]; i++)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183 value = (value + (((unsigned char *)name)[i] << (i*5 % 24)));
184
185 return (1103515243 * value + 12345);
186}
187
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100188/**
189 * Allocate a new symbols for use in the hash of exported symbols or
190 * the list of unresolved symbols per module
191 **/
192static struct symbol *alloc_symbol(const char *name, unsigned int weak,
193 struct symbol *next)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194{
195 struct symbol *s = NOFAIL(malloc(sizeof(*s) + strlen(name) + 1));
196
197 memset(s, 0, sizeof(*s));
198 strcpy(s->name, name);
199 s->weak = weak;
200 s->next = next;
201 return s;
202}
203
204/* For the hash of exported symbols */
Ram Paibd5cbce2006-06-08 22:12:53 -0700205static struct symbol *new_symbol(const char *name, struct module *module,
206 enum export export)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207{
208 unsigned int hash;
209 struct symbol *new;
210
211 hash = tdb_hash(name) % SYMBOL_HASH_SIZE;
212 new = symbolhash[hash] = alloc_symbol(name, 0, symbolhash[hash]);
213 new->module = module;
Ram Paibd5cbce2006-06-08 22:12:53 -0700214 new->export = export;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100215 return new;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700216}
217
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100218static struct symbol *find_symbol(const char *name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219{
220 struct symbol *s;
221
222 /* For our purposes, .foo matches foo. PPC64 needs this. */
223 if (name[0] == '.')
224 name++;
225
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100226 for (s = symbolhash[tdb_hash(name) % SYMBOL_HASH_SIZE]; s; s = s->next) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227 if (strcmp(s->name, name) == 0)
228 return s;
229 }
230 return NULL;
231}
232
Mathias Krause7a3ee752014-08-27 20:28:53 +0930233static const struct {
Ram Paibd5cbce2006-06-08 22:12:53 -0700234 const char *str;
235 enum export export;
236} export_list[] = {
237 { .str = "EXPORT_SYMBOL", .export = export_plain },
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200238 { .str = "EXPORT_UNUSED_SYMBOL", .export = export_unused },
Ram Paibd5cbce2006-06-08 22:12:53 -0700239 { .str = "EXPORT_SYMBOL_GPL", .export = export_gpl },
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200240 { .str = "EXPORT_UNUSED_SYMBOL_GPL", .export = export_unused_gpl },
Ram Paibd5cbce2006-06-08 22:12:53 -0700241 { .str = "EXPORT_SYMBOL_GPL_FUTURE", .export = export_gpl_future },
242 { .str = "(unknown)", .export = export_unknown },
243};
244
245
246static const char *export_str(enum export ex)
247{
248 return export_list[ex].str;
249}
250
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100251static enum export export_no(const char *s)
Ram Paibd5cbce2006-06-08 22:12:53 -0700252{
253 int i;
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100254
Sam Ravnborg534b89a2006-07-01 10:10:19 +0200255 if (!s)
256 return export_unknown;
Ram Paibd5cbce2006-06-08 22:12:53 -0700257 for (i = 0; export_list[i].export != export_unknown; i++) {
258 if (strcmp(export_list[i].str, s) == 0)
259 return export_list[i].export;
260 }
261 return export_unknown;
262}
263
Masahiro Yamada6124c042017-09-06 16:19:05 -0700264static const char *sech_name(struct elf_info *elf, Elf_Shdr *sechdr)
265{
266 return (void *)elf->hdr +
267 elf->sechdrs[elf->secindex_strings].sh_offset +
268 sechdr->sh_name;
269}
270
271static const char *sec_name(struct elf_info *elf, int secindex)
272{
273 return sech_name(elf, &elf->sechdrs[secindex]);
274}
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200275
276#define strstarts(str, prefix) (strncmp(str, prefix, strlen(prefix)) == 0)
277
278static enum export export_from_secname(struct elf_info *elf, unsigned int sec)
279{
280 const char *secname = sec_name(elf, sec);
281
282 if (strstarts(secname, "___ksymtab+"))
283 return export_plain;
284 else if (strstarts(secname, "___ksymtab_unused+"))
285 return export_unused;
286 else if (strstarts(secname, "___ksymtab_gpl+"))
287 return export_gpl;
288 else if (strstarts(secname, "___ksymtab_unused_gpl+"))
289 return export_unused_gpl;
290 else if (strstarts(secname, "___ksymtab_gpl_future+"))
291 return export_gpl_future;
292 else
293 return export_unknown;
294}
295
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200296static enum export export_from_sec(struct elf_info *elf, unsigned int sec)
Ram Paibd5cbce2006-06-08 22:12:53 -0700297{
298 if (sec == elf->export_sec)
299 return export_plain;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200300 else if (sec == elf->export_unused_sec)
301 return export_unused;
Ram Paibd5cbce2006-06-08 22:12:53 -0700302 else if (sec == elf->export_gpl_sec)
303 return export_gpl;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200304 else if (sec == elf->export_unused_gpl_sec)
305 return export_unused_gpl;
Ram Paibd5cbce2006-06-08 22:12:53 -0700306 else if (sec == elf->export_gpl_future_sec)
307 return export_gpl_future;
308 else
309 return export_unknown;
310}
311
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100312/**
313 * Add an exported symbol - it may have already been added without a
314 * CRC, in this case just update the CRC
315 **/
Ram Paibd5cbce2006-06-08 22:12:53 -0700316static struct symbol *sym_add_exported(const char *name, struct module *mod,
317 enum export export)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318{
319 struct symbol *s = find_symbol(name);
320
321 if (!s) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700322 s = new_symbol(name, mod, export);
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100323 } else {
324 if (!s->preloaded) {
Sam Ravnborg7b75b132006-03-05 13:48:58 +0100325 warn("%s: '%s' exported twice. Previous export "
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100326 "was in %s%s\n", mod->name, name,
327 s->module->name,
328 is_vmlinux(s->module->name) ?"":".ko");
Trent Piepho4b219602007-10-11 16:40:10 -0700329 } else {
Paul Bollebaec30e2014-04-16 18:05:35 +0200330 /* In case Module.symvers was out of date */
Trent Piepho4b219602007-10-11 16:40:10 -0700331 s->module = mod;
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100332 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333 }
Sam Ravnborg8e70c452006-01-28 22:22:33 +0100334 s->preloaded = 0;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100335 s->vmlinux = is_vmlinux(mod->name);
336 s->kernel = 0;
Ram Paibd5cbce2006-06-08 22:12:53 -0700337 s->export = export;
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100338 return s;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339}
340
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100341static void sym_update_crc(const char *name, struct module *mod,
Ram Paibd5cbce2006-06-08 22:12:53 -0700342 unsigned int crc, enum export export)
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100343{
344 struct symbol *s = find_symbol(name);
345
Rusty Russellb6568b12013-11-07 12:09:13 +1030346 if (!s) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700347 s = new_symbol(name, mod, export);
Rusty Russellb6568b12013-11-07 12:09:13 +1030348 /* Don't complain when we find it later. */
349 s->preloaded = 1;
350 }
Sam Ravnborg040fcc82006-01-28 22:15:55 +0100351 s->crc = crc;
352 s->crc_valid = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353}
354
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100355void *grab_file(const char *filename, unsigned long *size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700356{
357 struct stat st;
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930358 void *map = MAP_FAILED;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359 int fd;
360
361 fd = open(filename, O_RDONLY);
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930362 if (fd < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363 return NULL;
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930364 if (fstat(fd, &st))
365 goto failed;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366
367 *size = st.st_size;
368 map = mmap(NULL, *size, PROT_READ|PROT_WRITE, MAP_PRIVATE, fd, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369
Jesper Juhleb3d5cc2012-05-23 22:28:49 +0930370failed:
371 close(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700372 if (map == MAP_FAILED)
373 return NULL;
374 return map;
375}
376
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100377/**
378 * Return a copy of the next line in a mmap'ed file.
379 * spaces in the beginning of the line is trimmed away.
380 * Return a pointer to a static buffer.
381 **/
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100382char *get_next_line(unsigned long *pos, void *file, unsigned long size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700383{
384 static char line[4096];
385 int skip = 1;
386 size_t len = 0;
387 signed char *p = (signed char *)file + *pos;
388 char *s = line;
389
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100390 for (; *pos < size ; (*pos)++) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391 if (skip && isspace(*p)) {
392 p++;
393 continue;
394 }
395 skip = 0;
396 if (*p != '\n' && (*pos < size)) {
397 len++;
398 *s++ = *p++;
399 if (len > 4095)
400 break; /* Too long, stop */
401 } else {
402 /* End of string */
403 *s = '\0';
404 return line;
405 }
406 }
407 /* End of buffer */
408 return NULL;
409}
410
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100411void release_file(void *file, unsigned long size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412{
413 munmap(file, size);
414}
415
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100416static int parse_elf(struct elf_info *info, const char *filename)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417{
418 unsigned int i;
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100419 Elf_Ehdr *hdr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700420 Elf_Shdr *sechdrs;
421 Elf_Sym *sym;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200422 const char *secstrings;
423 unsigned int symtab_idx = ~0U, symtab_shndx_idx = ~0U;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700424
425 hdr = grab_file(filename, &info->size);
426 if (!hdr) {
Guenter Roeckeed380f2013-09-23 15:23:54 +0930427 if (ignore_missing_files) {
428 fprintf(stderr, "%s: %s (ignored)\n", filename,
429 strerror(errno));
430 return 0;
431 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700432 perror(filename);
Sam Ravnborg6803dc02006-06-24 23:46:54 +0200433 exit(1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700434 }
435 info->hdr = hdr;
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100436 if (info->size < sizeof(*hdr)) {
437 /* file too small, assume this is an empty .o file */
438 return 0;
439 }
440 /* Is this a valid ELF file? */
441 if ((hdr->e_ident[EI_MAG0] != ELFMAG0) ||
442 (hdr->e_ident[EI_MAG1] != ELFMAG1) ||
443 (hdr->e_ident[EI_MAG2] != ELFMAG2) ||
444 (hdr->e_ident[EI_MAG3] != ELFMAG3)) {
445 /* Not an ELF file - silently ignore it */
446 return 0;
447 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700448 /* Fix endianness in ELF header */
Anders Kaseorg7d875a02009-05-03 22:02:55 +0200449 hdr->e_type = TO_NATIVE(hdr->e_type);
450 hdr->e_machine = TO_NATIVE(hdr->e_machine);
451 hdr->e_version = TO_NATIVE(hdr->e_version);
452 hdr->e_entry = TO_NATIVE(hdr->e_entry);
453 hdr->e_phoff = TO_NATIVE(hdr->e_phoff);
454 hdr->e_shoff = TO_NATIVE(hdr->e_shoff);
455 hdr->e_flags = TO_NATIVE(hdr->e_flags);
456 hdr->e_ehsize = TO_NATIVE(hdr->e_ehsize);
457 hdr->e_phentsize = TO_NATIVE(hdr->e_phentsize);
458 hdr->e_phnum = TO_NATIVE(hdr->e_phnum);
459 hdr->e_shentsize = TO_NATIVE(hdr->e_shentsize);
460 hdr->e_shnum = TO_NATIVE(hdr->e_shnum);
461 hdr->e_shstrndx = TO_NATIVE(hdr->e_shstrndx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 sechdrs = (void *)hdr + hdr->e_shoff;
463 info->sechdrs = sechdrs;
464
Petr Stetiara83710e2007-08-27 12:15:07 +0200465 /* Check if file offset is correct */
466 if (hdr->e_shoff > info->size) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100467 fatal("section header offset=%lu in file '%s' is bigger than "
468 "filesize=%lu\n", (unsigned long)hdr->e_shoff,
469 filename, info->size);
Petr Stetiara83710e2007-08-27 12:15:07 +0200470 return 0;
471 }
472
Anders Kaseorg68457562011-05-19 16:55:27 -0600473 if (hdr->e_shnum == SHN_UNDEF) {
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200474 /*
475 * There are more than 64k sections,
476 * read count from .sh_size.
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200477 */
478 info->num_sections = TO_NATIVE(sechdrs[0].sh_size);
479 }
480 else {
481 info->num_sections = hdr->e_shnum;
482 }
483 if (hdr->e_shstrndx == SHN_XINDEX) {
Anders Kaseorg68457562011-05-19 16:55:27 -0600484 info->secindex_strings = TO_NATIVE(sechdrs[0].sh_link);
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200485 }
486 else {
487 info->secindex_strings = hdr->e_shstrndx;
488 }
489
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490 /* Fix endianness in section headers */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200491 for (i = 0; i < info->num_sections; i++) {
Anders Kaseorg7d875a02009-05-03 22:02:55 +0200492 sechdrs[i].sh_name = TO_NATIVE(sechdrs[i].sh_name);
493 sechdrs[i].sh_type = TO_NATIVE(sechdrs[i].sh_type);
494 sechdrs[i].sh_flags = TO_NATIVE(sechdrs[i].sh_flags);
495 sechdrs[i].sh_addr = TO_NATIVE(sechdrs[i].sh_addr);
496 sechdrs[i].sh_offset = TO_NATIVE(sechdrs[i].sh_offset);
497 sechdrs[i].sh_size = TO_NATIVE(sechdrs[i].sh_size);
498 sechdrs[i].sh_link = TO_NATIVE(sechdrs[i].sh_link);
499 sechdrs[i].sh_info = TO_NATIVE(sechdrs[i].sh_info);
500 sechdrs[i].sh_addralign = TO_NATIVE(sechdrs[i].sh_addralign);
501 sechdrs[i].sh_entsize = TO_NATIVE(sechdrs[i].sh_entsize);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700502 }
503 /* Find symbol table. */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200504 secstrings = (void *)hdr + sechdrs[info->secindex_strings].sh_offset;
505 for (i = 1; i < info->num_sections; i++) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700506 const char *secname;
Tejun Heo56fc82c2009-02-06 00:48:02 +0900507 int nobits = sechdrs[i].sh_type == SHT_NOBITS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508
Tejun Heo56fc82c2009-02-06 00:48:02 +0900509 if (!nobits && sechdrs[i].sh_offset > info->size) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100510 fatal("%s is truncated. sechdrs[i].sh_offset=%lu > "
511 "sizeof(*hrd)=%zu\n", filename,
512 (unsigned long)sechdrs[i].sh_offset,
513 sizeof(*hdr));
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100514 return 0;
515 }
Ram Paibd5cbce2006-06-08 22:12:53 -0700516 secname = secstrings + sechdrs[i].sh_name;
517 if (strcmp(secname, ".modinfo") == 0) {
Tejun Heo56fc82c2009-02-06 00:48:02 +0900518 if (nobits)
519 fatal("%s has NOBITS .modinfo\n", filename);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520 info->modinfo = (void *)hdr + sechdrs[i].sh_offset;
521 info->modinfo_len = sechdrs[i].sh_size;
Ram Paibd5cbce2006-06-08 22:12:53 -0700522 } else if (strcmp(secname, "__ksymtab") == 0)
523 info->export_sec = i;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200524 else if (strcmp(secname, "__ksymtab_unused") == 0)
525 info->export_unused_sec = i;
Ram Paibd5cbce2006-06-08 22:12:53 -0700526 else if (strcmp(secname, "__ksymtab_gpl") == 0)
527 info->export_gpl_sec = i;
Sam Ravnborgc96fca22006-07-01 11:44:23 +0200528 else if (strcmp(secname, "__ksymtab_unused_gpl") == 0)
529 info->export_unused_gpl_sec = i;
Ram Paibd5cbce2006-06-08 22:12:53 -0700530 else if (strcmp(secname, "__ksymtab_gpl_future") == 0)
531 info->export_gpl_future_sec = i;
532
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200533 if (sechdrs[i].sh_type == SHT_SYMTAB) {
534 unsigned int sh_link_idx;
535 symtab_idx = i;
536 info->symtab_start = (void *)hdr +
537 sechdrs[i].sh_offset;
538 info->symtab_stop = (void *)hdr +
539 sechdrs[i].sh_offset + sechdrs[i].sh_size;
Anders Kaseorg68457562011-05-19 16:55:27 -0600540 sh_link_idx = sechdrs[i].sh_link;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200541 info->strtab = (void *)hdr +
542 sechdrs[sh_link_idx].sh_offset;
543 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200545 /* 32bit section no. table? ("more than 64k sections") */
546 if (sechdrs[i].sh_type == SHT_SYMTAB_SHNDX) {
547 symtab_shndx_idx = i;
548 info->symtab_shndx_start = (void *)hdr +
549 sechdrs[i].sh_offset;
550 info->symtab_shndx_stop = (void *)hdr +
551 sechdrs[i].sh_offset + sechdrs[i].sh_size;
552 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700553 }
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100554 if (!info->symtab_start)
Sam Ravnborgcb805142006-01-28 16:57:26 +0100555 fatal("%s has no symtab?\n", filename);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100556
Linus Torvalds1da177e2005-04-16 15:20:36 -0700557 /* Fix endianness in symbols */
558 for (sym = info->symtab_start; sym < info->symtab_stop; sym++) {
559 sym->st_shndx = TO_NATIVE(sym->st_shndx);
560 sym->st_name = TO_NATIVE(sym->st_name);
561 sym->st_value = TO_NATIVE(sym->st_value);
562 sym->st_size = TO_NATIVE(sym->st_size);
563 }
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200564
565 if (symtab_shndx_idx != ~0U) {
566 Elf32_Word *p;
Anders Kaseorg68457562011-05-19 16:55:27 -0600567 if (symtab_idx != sechdrs[symtab_shndx_idx].sh_link)
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200568 fatal("%s: SYMTAB_SHNDX has bad sh_link: %u!=%u\n",
Anders Kaseorg68457562011-05-19 16:55:27 -0600569 filename, sechdrs[symtab_shndx_idx].sh_link,
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +0200570 symtab_idx);
571 /* Fix endianness */
572 for (p = info->symtab_shndx_start; p < info->symtab_shndx_stop;
573 p++)
574 *p = TO_NATIVE(*p);
575 }
576
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +0100577 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700578}
579
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100580static void parse_elf_finish(struct elf_info *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581{
582 release_file(info->hdr, info->size);
583}
584
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200585static int ignore_undef_symbol(struct elf_info *info, const char *symname)
586{
587 /* ignore __this_module, it will be resolved shortly */
Rusty Russellb92021b2013-03-15 15:04:17 +1030588 if (strcmp(symname, VMLINUX_SYMBOL_STR(__this_module)) == 0)
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200589 return 1;
590 /* ignore global offset table */
591 if (strcmp(symname, "_GLOBAL_OFFSET_TABLE_") == 0)
592 return 1;
593 if (info->hdr->e_machine == EM_PPC)
594 /* Special register function linked on all modules during final link of .ko */
595 if (strncmp(symname, "_restgpr_", sizeof("_restgpr_") - 1) == 0 ||
596 strncmp(symname, "_savegpr_", sizeof("_savegpr_") - 1) == 0 ||
597 strncmp(symname, "_rest32gpr_", sizeof("_rest32gpr_") - 1) == 0 ||
Andreas Schwab8fe9c932013-12-30 15:31:17 +0100598 strncmp(symname, "_save32gpr_", sizeof("_save32gpr_") - 1) == 0 ||
599 strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 ||
600 strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0)
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200601 return 1;
Stephen Rothwell7fca5dc2010-06-29 20:08:42 +0000602 if (info->hdr->e_machine == EM_PPC64)
603 /* Special register function linked on all modules during final link of .ko */
604 if (strncmp(symname, "_restgpr0_", sizeof("_restgpr0_") - 1) == 0 ||
Andreas Schwab8fe9c932013-12-30 15:31:17 +0100605 strncmp(symname, "_savegpr0_", sizeof("_savegpr0_") - 1) == 0 ||
606 strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 ||
Alan Modrac1536932016-01-15 20:52:22 +1100607 strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0 ||
608 strcmp(symname, ".TOC.") == 0)
Stephen Rothwell7fca5dc2010-06-29 20:08:42 +0000609 return 1;
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200610 /* Do not ignore this symbol */
611 return 0;
612}
613
Rusty Russellb92021b2013-03-15 15:04:17 +1030614#define CRC_PFX VMLINUX_SYMBOL_STR(__crc_)
615#define KSYMTAB_PFX VMLINUX_SYMBOL_STR(__ksymtab_)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100617static void handle_modversions(struct module *mod, struct elf_info *info,
618 Elf_Sym *sym, const char *symname)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619{
620 unsigned int crc;
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200621 enum export export;
Nicholas Piggind8c1eb82016-11-24 03:41:42 +1100622 bool is_crc = false;
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200623
Frank Rowand258f7422012-04-09 17:59:03 -0700624 if ((!is_vmlinux(mod->name) || mod->is_dot_o) &&
625 strncmp(symname, "__ksymtab", 9) == 0)
Alessio Igor Bogani62a26352011-07-14 08:51:16 +0200626 export = export_from_secname(info, get_secindex(info, sym));
627 else
628 export = export_from_sec(info, get_secindex(info, sym));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629
Andi Kleenb5064652013-11-12 15:08:38 -0800630 /* CRC'd symbol */
631 if (strncmp(symname, CRC_PFX, strlen(CRC_PFX)) == 0) {
Nicholas Piggind8c1eb82016-11-24 03:41:42 +1100632 is_crc = true;
Andi Kleenb5064652013-11-12 15:08:38 -0800633 crc = (unsigned int) sym->st_value;
Ard Biesheuvel56067812017-02-03 09:54:05 +0000634 if (sym->st_shndx != SHN_UNDEF && sym->st_shndx != SHN_ABS) {
635 unsigned int *crcp;
636
637 /* symbol points to the CRC in the ELF object */
638 crcp = (void *)info->hdr + sym->st_value +
639 info->sechdrs[sym->st_shndx].sh_offset -
640 (info->hdr->e_type != ET_REL ?
641 info->sechdrs[sym->st_shndx].sh_addr : 0);
642 crc = *crcp;
643 }
Andi Kleenb5064652013-11-12 15:08:38 -0800644 sym_update_crc(symname + strlen(CRC_PFX), mod, crc,
645 export);
646 }
647
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 switch (sym->st_shndx) {
649 case SHN_COMMON:
Andi Kleenef178f92014-02-08 09:01:17 +0100650 if (!strncmp(symname, "__gnu_lto_", sizeof("__gnu_lto_")-1)) {
651 /* Should warn here, but modpost runs before the linker */
652 } else
653 warn("\"%s\" [%s] is COMMON symbol\n", symname, mod->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655 case SHN_UNDEF:
656 /* undefined symbol */
657 if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL &&
658 ELF_ST_BIND(sym->st_info) != STB_WEAK)
659 break;
Sam Ravnborg4d7365d2008-06-12 15:02:55 +0200660 if (ignore_undef_symbol(info, symname))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700661 break;
Ben Colline8d529012005-08-19 13:44:57 -0700662/* cope with newer glibc (2.3.4 or higher) STT_ definition in elf.h */
663#if defined(STT_REGISTER) || defined(STT_SPARC_REGISTER)
664/* add compatibility with older glibc */
665#ifndef STT_SPARC_REGISTER
666#define STT_SPARC_REGISTER STT_REGISTER
667#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700668 if (info->hdr->e_machine == EM_SPARC ||
669 info->hdr->e_machine == EM_SPARCV9) {
670 /* Ignore register directives. */
Ben Colline8d529012005-08-19 13:44:57 -0700671 if (ELF_ST_TYPE(sym->st_info) == STT_SPARC_REGISTER)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700672 break;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100673 if (symname[0] == '.') {
674 char *munged = strdup(symname);
675 munged[0] = '_';
676 munged[1] = toupper(munged[1]);
677 symname = munged;
678 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700679 }
680#endif
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100681
Rusty Russellb92021b2013-03-15 15:04:17 +1030682#ifdef CONFIG_HAVE_UNDERSCORE_SYMBOL_PREFIX
683 if (symname[0] != '_')
684 break;
685 else
686 symname++;
687#endif
Nicholas Piggind8c1eb82016-11-24 03:41:42 +1100688 if (is_crc) {
689 const char *e = is_vmlinux(mod->name) ?"":".ko";
690 warn("EXPORT symbol \"%s\" [%s%s] version generation failed, symbol will not be versioned.\n", symname + strlen(CRC_PFX), mod->name, e);
691 }
Rusty Russellb92021b2013-03-15 15:04:17 +1030692 mod->unres = alloc_symbol(symname,
693 ELF_ST_BIND(sym->st_info) == STB_WEAK,
694 mod->unres);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 break;
696 default:
697 /* All exported symbols */
Michal Marek8d995132009-12-12 12:02:24 +0100698 if (strncmp(symname, KSYMTAB_PFX, strlen(KSYMTAB_PFX)) == 0) {
Ram Paibd5cbce2006-06-08 22:12:53 -0700699 sym_add_exported(symname + strlen(KSYMTAB_PFX), mod,
700 export);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701 }
Rusty Russellb92021b2013-03-15 15:04:17 +1030702 if (strcmp(symname, VMLINUX_SYMBOL_STR(init_module)) == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703 mod->has_init = 1;
Rusty Russellb92021b2013-03-15 15:04:17 +1030704 if (strcmp(symname, VMLINUX_SYMBOL_STR(cleanup_module)) == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705 mod->has_cleanup = 1;
706 break;
707 }
708}
709
Sam Ravnborg5c3ead82006-01-28 17:19:35 +0100710/**
711 * Parse tag=value strings from .modinfo section
712 **/
Linus Torvalds1da177e2005-04-16 15:20:36 -0700713static char *next_string(char *string, unsigned long *secsize)
714{
715 /* Skip non-zero chars */
716 while (string[0]) {
717 string++;
718 if ((*secsize)-- <= 1)
719 return NULL;
720 }
721
722 /* Skip any zero padding. */
723 while (!string[0]) {
724 string++;
725 if ((*secsize)-- <= 1)
726 return NULL;
727 }
728 return string;
729}
730
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200731static char *get_next_modinfo(void *modinfo, unsigned long modinfo_len,
732 const char *tag, char *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700733{
734 char *p;
735 unsigned int taglen = strlen(tag);
736 unsigned long size = modinfo_len;
737
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200738 if (info) {
739 size -= info - (char *)modinfo;
740 modinfo = next_string(info, &size);
741 }
742
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743 for (p = modinfo; p; p = next_string(p, &size)) {
744 if (strncmp(p, tag, taglen) == 0 && p[taglen] == '=')
745 return p + taglen + 1;
746 }
747 return NULL;
748}
749
Sam Ravnborgb817f6f2006-06-09 21:53:55 +0200750static char *get_modinfo(void *modinfo, unsigned long modinfo_len,
751 const char *tag)
752
753{
754 return get_next_modinfo(modinfo, modinfo_len, tag, NULL);
755}
756
Sam Ravnborg93684d32006-02-19 11:53:35 +0100757/**
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100758 * Test if string s ends in string sub
759 * return 0 if match
760 **/
761static int strrcmp(const char *s, const char *sub)
762{
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100763 int slen, sublen;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100764
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100765 if (!s || !sub)
766 return 1;
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100767
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100768 slen = strlen(s);
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100769 sublen = strlen(sub);
Sam Ravnborg62070fa2006-03-03 16:46:04 +0100770
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100771 if ((slen == 0) || (sublen == 0))
772 return 1;
773
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100774 if (sublen > slen)
775 return 1;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100776
Sam Ravnborgdf578e72008-01-11 19:17:15 +0100777 return memcmp(s + slen - sublen, sub, sublen);
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +0100778}
779
Sam Ravnborgff13f922008-01-23 19:54:27 +0100780static const char *sym_name(struct elf_info *elf, Elf_Sym *sym)
781{
Sam Ravnborg58fb0d42008-01-23 21:13:50 +0100782 if (sym)
783 return elf->strtab + sym->st_name;
784 else
Sam Ravnborgf6667512008-02-06 21:51:18 +0100785 return "(unknown)";
Sam Ravnborgff13f922008-01-23 19:54:27 +0100786}
787
Sam Ravnborg10668222008-01-13 22:21:31 +0100788/* The pattern is an array of simple patterns.
789 * "foo" will match an exact string equal to "foo"
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100790 * "*foo" will match a string that ends with "foo"
Sam Ravnborg10668222008-01-13 22:21:31 +0100791 * "foo*" will match a string that begins with "foo"
Paul Gortmaker09c20c02015-04-20 10:20:26 +0930792 * "*foo*" will match a string that contains "foo"
Sam Ravnborg10668222008-01-13 22:21:31 +0100793 */
Trevor Keith5c725132009-09-22 16:43:38 -0700794static int match(const char *sym, const char * const pat[])
Sam Ravnborg10668222008-01-13 22:21:31 +0100795{
796 const char *p;
797 while (*pat) {
798 p = *pat++;
799 const char *endp = p + strlen(p) - 1;
800
Paul Gortmaker09c20c02015-04-20 10:20:26 +0930801 /* "*foo*" */
802 if (*p == '*' && *endp == '*') {
803 char *here, *bare = strndup(p + 1, strlen(p) - 2);
804
805 here = strstr(sym, bare);
806 free(bare);
807 if (here != NULL)
808 return 1;
809 }
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100810 /* "*foo" */
Paul Gortmaker09c20c02015-04-20 10:20:26 +0930811 else if (*p == '*') {
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100812 if (strrcmp(sym, p + 1) == 0)
813 return 1;
814 }
Sam Ravnborg10668222008-01-13 22:21:31 +0100815 /* "foo*" */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100816 else if (*endp == '*') {
Sam Ravnborg10668222008-01-13 22:21:31 +0100817 if (strncmp(sym, p, strlen(p) - 1) == 0)
818 return 1;
819 }
Sam Ravnborg10668222008-01-13 22:21:31 +0100820 /* no wildcards */
821 else {
822 if (strcmp(p, sym) == 0)
823 return 1;
824 }
825 }
826 /* no match */
827 return 0;
828}
829
Sam Ravnborg10668222008-01-13 22:21:31 +0100830/* sections that we do not want to do full section mismatch check on */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930831static const char *const section_white_list[] =
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200832{
833 ".comment*",
834 ".debug*",
Chen Gang4d10c222013-08-20 15:33:19 +0930835 ".cranges", /* sh64 */
H.J. Lu11215842010-12-15 17:11:22 -0800836 ".zdebug*", /* Compressed debug sections. */
David Howells019fca82010-08-12 16:54:47 +0100837 ".GCC-command-line", /* mn10300 */
Jonathan Kliegman76b27642012-10-04 16:32:19 -0400838 ".GCC.command.line", /* record-gcc-switches, non mn10300 */
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200839 ".mdebug*", /* alpha, score, mips etc. */
840 ".pdr", /* alpha, score, mips etc. */
841 ".stab*",
842 ".note*",
843 ".got*",
844 ".toc*",
Max Filippovaf42e972012-09-17 05:44:38 +0400845 ".xt.prop", /* xtensa */
846 ".xt.lit", /* xtensa */
Vineet Guptaf2e207f2013-01-21 17:18:57 +1030847 ".arcextmap*", /* arc */
848 ".gnu.linkonce.arcext*", /* arc : modules */
Noam Camusd1189c62015-10-26 19:51:46 +1030849 ".cmem*", /* EZchip */
850 ".fmt_slot*", /* EZchip */
Andi Kleenef178f92014-02-08 09:01:17 +0100851 ".gnu.lto*",
Josh Poimboeufe390f9a2017-03-01 12:04:44 -0600852 ".discard.*",
Sam Ravnborg4391ed62009-05-04 13:05:26 +0200853 NULL
854};
Sam Ravnborg10668222008-01-13 22:21:31 +0100855
Sam Ravnborge241a632008-01-28 20:13:13 +0100856/*
Anders Kaseorgb614a692009-04-23 16:49:33 -0400857 * This is used to find sections missing the SHF_ALLOC flag.
Sam Ravnborge241a632008-01-28 20:13:13 +0100858 * The cause of this is often a section specified in assembler
Anders Kaseorgb614a692009-04-23 16:49:33 -0400859 * without "ax" / "aw".
Sam Ravnborge241a632008-01-28 20:13:13 +0100860 */
Anders Kaseorgb614a692009-04-23 16:49:33 -0400861static void check_section(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +0900862 Elf_Shdr *sechdr)
Sam Ravnborge241a632008-01-28 20:13:13 +0100863{
Anders Kaseorgb614a692009-04-23 16:49:33 -0400864 const char *sec = sech_name(elf, sechdr);
Sam Ravnborge241a632008-01-28 20:13:13 +0100865
Anders Kaseorgb614a692009-04-23 16:49:33 -0400866 if (sechdr->sh_type == SHT_PROGBITS &&
867 !(sechdr->sh_flags & SHF_ALLOC) &&
868 !match(sec, section_white_list)) {
869 warn("%s (%s): unexpected non-allocatable section.\n"
870 "Did you forget to use \"ax\"/\"aw\" in a .S file?\n"
871 "Note that for example <linux/init.h> contains\n"
872 "section definitions for use in .S files.\n\n",
873 modname, sec);
Sam Ravnborge241a632008-01-28 20:13:13 +0100874 }
Sam Ravnborge241a632008-01-28 20:13:13 +0100875}
876
877
878
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100879#define ALL_INIT_DATA_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930880 ".init.setup", ".init.rodata", ".meminit.rodata", \
881 ".init.data", ".meminit.data"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100882#define ALL_EXIT_DATA_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930883 ".exit.data", ".memexit.data"
Sam Ravnborg10668222008-01-13 22:21:31 +0100884
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100885#define ALL_INIT_TEXT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930886 ".init.text", ".meminit.text"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100887#define ALL_EXIT_TEXT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930888 ".exit.text", ".memexit.text"
Sam Ravnborg10668222008-01-13 22:21:31 +0100889
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +0200890#define ALL_PCI_INIT_SECTIONS \
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930891 ".pci_fixup_early", ".pci_fixup_header", ".pci_fixup_final", \
892 ".pci_fixup_enable", ".pci_fixup_resume", \
893 ".pci_fixup_resume_early", ".pci_fixup_suspend"
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +0200894
Paul Gortmakere24f6622013-06-19 19:30:48 -0400895#define ALL_XXXINIT_SECTIONS MEM_INIT_SECTIONS
896#define ALL_XXXEXIT_SECTIONS MEM_EXIT_SECTIONS
Uwe Kleine-König4a31a222010-01-29 12:04:26 +0100897
898#define ALL_INIT_SECTIONS INIT_SECTIONS, ALL_XXXINIT_SECTIONS
899#define ALL_EXIT_SECTIONS EXIT_SECTIONS, ALL_XXXEXIT_SECTIONS
Sam Ravnborg10668222008-01-13 22:21:31 +0100900
Rasmus Villemoesa0d8f802014-07-27 07:28:01 +0930901#define DATA_SECTIONS ".data", ".data.rel"
Quentin Casasnovas157d1972015-04-13 20:42:52 +0930902#define TEXT_SECTIONS ".text", ".text.unlikely", ".sched.text", \
Chris Metcalf6727ad92016-10-07 17:02:55 -0700903 ".kprobes.text", ".cpuidle.text"
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930904#define OTHER_TEXT_SECTIONS ".ref.text", ".head.text", ".spinlock.text", \
Chris Metcalf673c2c32015-07-08 17:07:41 -0400905 ".fixup", ".entry.text", ".exception.text", ".text.*", \
906 ".coldtext"
Sam Ravnborg10668222008-01-13 22:21:31 +0100907
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000908#define INIT_SECTIONS ".init.*"
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000909#define MEM_INIT_SECTIONS ".meminit.*"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100910
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000911#define EXIT_SECTIONS ".exit.*"
Jan Beulichfd6c3a82009-03-12 10:58:33 +0000912#define MEM_EXIT_SECTIONS ".memexit.*"
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100913
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930914#define ALL_TEXT_SECTIONS ALL_INIT_TEXT_SECTIONS, ALL_EXIT_TEXT_SECTIONS, \
915 TEXT_SECTIONS, OTHER_TEXT_SECTIONS
916
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100917/* init data sections */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930918static const char *const init_data_sections[] =
919 { ALL_INIT_DATA_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100920
921/* all init sections */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930922static const char *const init_sections[] = { ALL_INIT_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100923
924/* All init and exit sections (code + data) */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930925static const char *const init_exit_sections[] =
Sam Ravnborgeb8f6892008-01-20 20:07:28 +0100926 {ALL_INIT_SECTIONS, ALL_EXIT_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100927
Paul Gortmaker4a3893d2015-04-20 10:20:40 +0930928/* all text sections */
929static const char *const text_sections[] = { ALL_TEXT_SECTIONS, NULL };
930
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100931/* data section */
Mathias Krause7a3ee752014-08-27 20:28:53 +0930932static const char *const data_sections[] = { DATA_SECTIONS, NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100933
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100934
935/* symbols in .data that may refer to init/exit sections */
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100936#define DEFAULT_SYMBOL_WHITE_LIST \
937 "*driver", \
938 "*_template", /* scsi uses *_template a lot */ \
939 "*_timer", /* arm uses ops structures named _timer a lot */ \
940 "*_sht", /* scsi also used *_sht to some extent */ \
941 "*_ops", \
942 "*_probe", \
943 "*_probe_one", \
944 "*_console"
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100945
Mathias Krause7a3ee752014-08-27 20:28:53 +0930946static const char *const head_sections[] = { ".head.text*", NULL };
947static const char *const linker_symbols[] =
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100948 { "__init_begin", "_sinittext", "_einittext", NULL };
Paul Gortmaker4a3893d2015-04-20 10:20:40 +0930949static const char *const optim_symbols[] = { "*.constprop.*", NULL };
Sam Ravnborg6c5bd232008-01-20 10:43:27 +0100950
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100951enum mismatch {
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +0100952 TEXT_TO_ANY_INIT,
953 DATA_TO_ANY_INIT,
954 TEXT_TO_ANY_EXIT,
955 DATA_TO_ANY_EXIT,
956 XXXINIT_TO_SOME_INIT,
957 XXXEXIT_TO_SOME_EXIT,
958 ANY_INIT_TO_ANY_EXIT,
959 ANY_EXIT_TO_ANY_INIT,
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100960 EXPORT_TO_INIT_EXIT,
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930961 EXTABLE_TO_NON_TEXT,
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100962};
963
Quentin Casasnovase5d8f592015-04-13 20:55:15 +0930964/**
965 * Describe how to match sections on different criterias:
966 *
967 * @fromsec: Array of sections to be matched.
968 *
969 * @bad_tosec: Relocations applied to a section in @fromsec to a section in
970 * this array is forbidden (black-list). Can be empty.
971 *
972 * @good_tosec: Relocations applied to a section in @fromsec must be
973 * targetting sections in this array (white-list). Can be empty.
974 *
975 * @mismatch: Type of mismatch.
976 *
977 * @symbol_white_list: Do not match a relocation to a symbol in this list
978 * even if it is targetting a section in @bad_to_sec.
979 *
980 * @handler: Specific handler to call when a match is found. If NULL,
981 * default_mismatch_handler() will be called.
982 *
983 */
Sam Ravnborg10668222008-01-13 22:21:31 +0100984struct sectioncheck {
985 const char *fromsec[20];
Quentin Casasnovas050e57f2015-04-13 20:41:04 +0930986 const char *bad_tosec[20];
987 const char *good_tosec[20];
Sam Ravnborg588ccd72008-01-24 21:12:37 +0100988 enum mismatch mismatch;
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +0100989 const char *symbol_white_list[20];
Quentin Casasnovas644e8f12015-04-13 20:43:17 +0930990 void (*handler)(const char *modname, struct elf_info *elf,
991 const struct sectioncheck* const mismatch,
992 Elf_Rela *r, Elf_Sym *sym, const char *fromsec);
993
Sam Ravnborg10668222008-01-13 22:21:31 +0100994};
995
Quentin Casasnovas52dc0592015-04-13 20:52:53 +0930996static void extable_mismatch_handler(const char *modname, struct elf_info *elf,
997 const struct sectioncheck* const mismatch,
998 Elf_Rela *r, Elf_Sym *sym,
999 const char *fromsec);
1000
Mathias Krause7a3ee752014-08-27 20:28:53 +09301001static const struct sectioncheck sectioncheck[] = {
Sam Ravnborg10668222008-01-13 22:21:31 +01001002/* Do not reference init/exit code/data from
1003 * normal code and data
1004 */
1005{
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001006 .fromsec = { TEXT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301007 .bad_tosec = { ALL_INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001008 .mismatch = TEXT_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001009 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001010},
1011{
1012 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301013 .bad_tosec = { ALL_XXXINIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001014 .mismatch = DATA_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001015 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001016},
1017{
Uwe Kleine-König0db252452010-01-30 21:14:23 +01001018 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301019 .bad_tosec = { INIT_SECTIONS, NULL },
Uwe Kleine-König0db252452010-01-30 21:14:23 +01001020 .mismatch = DATA_TO_ANY_INIT,
1021 .symbol_white_list = {
1022 "*_template", "*_timer", "*_sht", "*_ops",
1023 "*_probe", "*_probe_one", "*_console", NULL
1024 },
1025},
1026{
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001027 .fromsec = { TEXT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301028 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001029 .mismatch = TEXT_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001030 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001031},
1032{
1033 .fromsec = { DATA_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301034 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001035 .mismatch = DATA_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001036 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001037},
Paul Gortmakere24f6622013-06-19 19:30:48 -04001038/* Do not reference init code/data from meminit code/data */
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001039{
Uwe Kleine-König4a31a222010-01-29 12:04:26 +01001040 .fromsec = { ALL_XXXINIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301041 .bad_tosec = { INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001042 .mismatch = XXXINIT_TO_SOME_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001043 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001044},
Paul Gortmakere24f6622013-06-19 19:30:48 -04001045/* Do not reference exit code/data from memexit code/data */
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001046{
Uwe Kleine-König4a31a222010-01-29 12:04:26 +01001047 .fromsec = { ALL_XXXEXIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301048 .bad_tosec = { EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001049 .mismatch = XXXEXIT_TO_SOME_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001050 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001051},
1052/* Do not use exit code/data from init code */
1053{
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001054 .fromsec = { ALL_INIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301055 .bad_tosec = { ALL_EXIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001056 .mismatch = ANY_INIT_TO_ANY_EXIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001057 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001058},
1059/* Do not use init code/data from exit code */
1060{
Sam Ravnborgeb8f6892008-01-20 20:07:28 +01001061 .fromsec = { ALL_EXIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301062 .bad_tosec = { ALL_INIT_SECTIONS, NULL },
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001063 .mismatch = ANY_EXIT_TO_ANY_INIT,
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001064 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Sam Ravnborg10668222008-01-13 22:21:31 +01001065},
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +02001066{
1067 .fromsec = { ALL_PCI_INIT_SECTIONS, NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301068 .bad_tosec = { INIT_SECTIONS, NULL },
Sebastian Andrzej Siewiorbb15d8d2012-06-03 20:48:17 +02001069 .mismatch = ANY_INIT_TO_ANY_EXIT,
1070 .symbol_white_list = { NULL },
1071},
Sam Ravnborg10668222008-01-13 22:21:31 +01001072/* Do not export init/exit functions or data */
1073{
1074 .fromsec = { "__ksymtab*", NULL },
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301075 .bad_tosec = { INIT_SECTIONS, EXIT_SECTIONS, NULL },
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001076 .mismatch = EXPORT_TO_INIT_EXIT,
1077 .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL },
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301078},
1079{
1080 .fromsec = { "__ex_table", NULL },
1081 /* If you're adding any new black-listed sections in here, consider
1082 * adding a special 'printer' for them in scripts/check_extable.
1083 */
1084 .bad_tosec = { ".altinstr_replacement", NULL },
1085 .good_tosec = {ALL_TEXT_SECTIONS , NULL},
1086 .mismatch = EXTABLE_TO_NON_TEXT,
1087 .handler = extable_mismatch_handler,
Sam Ravnborg10668222008-01-13 22:21:31 +01001088}
1089};
1090
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001091static const struct sectioncheck *section_mismatch(
1092 const char *fromsec, const char *tosec)
Sam Ravnborg10668222008-01-13 22:21:31 +01001093{
1094 int i;
1095 int elems = sizeof(sectioncheck) / sizeof(struct sectioncheck);
1096 const struct sectioncheck *check = &sectioncheck[0];
1097
Quentin Casasnovasc5c34392015-04-16 13:16:41 +09301098 /*
1099 * The target section could be the SHT_NUL section when we're
1100 * handling relocations to un-resolved symbols, trying to match it
1101 * doesn't make much sense and causes build failures on parisc and
1102 * mn10300 architectures.
1103 */
1104 if (*tosec == '\0')
1105 return NULL;
1106
Sam Ravnborg10668222008-01-13 22:21:31 +01001107 for (i = 0; i < elems; i++) {
Quentin Casasnovas050e57f2015-04-13 20:41:04 +09301108 if (match(fromsec, check->fromsec)) {
1109 if (check->bad_tosec[0] && match(tosec, check->bad_tosec))
1110 return check;
1111 if (check->good_tosec[0] && !match(tosec, check->good_tosec))
1112 return check;
1113 }
Sam Ravnborg10668222008-01-13 22:21:31 +01001114 check++;
1115 }
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001116 return NULL;
Sam Ravnborg10668222008-01-13 22:21:31 +01001117}
1118
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001119/**
1120 * Whitelist to allow certain references to pass with no warning.
Sam Ravnborg0e0d3142007-05-17 20:14:48 +02001121 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001122 * Pattern 1:
1123 * If a module parameter is declared __initdata and permissions=0
1124 * then this is legal despite the warning generated.
1125 * We cannot see value of permissions here, so just ignore
1126 * this pattern.
1127 * The pattern is identified by:
1128 * tosec = .init.data
Sam Ravnborg9209aed2006-03-05 00:16:26 +01001129 * fromsec = .data*
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001130 * atsym =__param*
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001131 *
Rusty Russell6a841522010-08-11 23:04:16 -06001132 * Pattern 1a:
1133 * module_param_call() ops can refer to __init set function if permissions=0
1134 * The pattern is identified by:
1135 * tosec = .init.text
1136 * fromsec = .data*
1137 * atsym = __param_ops_*
1138 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001139 * Pattern 2:
Randy Dunlap72ee59b2006-04-15 11:17:12 -07001140 * Many drivers utilise a *driver container with references to
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001141 * add, remove, probe functions etc.
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001142 * the pattern is identified by:
Sam Ravnborg83cda2b2007-07-25 21:52:31 +02001143 * tosec = init or exit section
1144 * fromsec = data section
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001145 * atsym = *driver, *_template, *_sht, *_ops, *_probe,
1146 * *probe_one, *_console, *_timer
Vivek Goyalee6a8542007-01-11 01:52:44 +01001147 *
1148 * Pattern 3:
Sam Ravnborgc9939712009-04-26 11:17:42 +02001149 * Whitelist all references from .head.text to any init section
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001150 *
Sam Ravnborg1d8af552007-06-03 00:41:22 +02001151 * Pattern 4:
Vivek Goyalee6a8542007-01-11 01:52:44 +01001152 * Some symbols belong to init section but still it is ok to reference
1153 * these from non-init sections as these symbols don't have any memory
1154 * allocated for them and symbol address and value are same. So even
1155 * if init section is freed, its ok to reference those symbols.
1156 * For ex. symbols marking the init section boundaries.
1157 * This pattern is identified by
1158 * refsymname = __init_begin, _sinittext, _einittext
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001159 *
Paul Gortmaker4a3893d2015-04-20 10:20:40 +09301160 * Pattern 5:
1161 * GCC may optimize static inlines when fed constant arg(s) resulting
1162 * in functions like cpumask_empty() -- generating an associated symbol
1163 * cpumask_empty.constprop.3 that appears in the audit. If the const that
1164 * is passed in comes from __init, like say nmi_ipi_mask, we get a
1165 * meaningless section warning. May need to add isra symbols too...
1166 * This pattern is identified by
1167 * tosec = init section
1168 * fromsec = text section
1169 * refsymname = *.constprop.*
1170 *
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001171 **/
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001172static int secref_whitelist(const struct sectioncheck *mismatch,
1173 const char *fromsec, const char *fromsym,
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001174 const char *tosec, const char *tosym)
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001175{
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001176 /* Check for pattern 1 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001177 if (match(tosec, init_data_sections) &&
1178 match(fromsec, data_sections) &&
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001179 (strncmp(fromsym, "__param", strlen("__param")) == 0))
1180 return 0;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001181
Rusty Russell6a841522010-08-11 23:04:16 -06001182 /* Check for pattern 1a */
1183 if (strcmp(tosec, ".init.text") == 0 &&
1184 match(fromsec, data_sections) &&
1185 (strncmp(fromsym, "__param_ops_", strlen("__param_ops_")) == 0))
1186 return 0;
1187
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001188 /* Check for pattern 2 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001189 if (match(tosec, init_exit_sections) &&
1190 match(fromsec, data_sections) &&
Uwe Kleine-Königaf92a822010-01-30 20:52:50 +01001191 match(fromsym, mismatch->symbol_white_list))
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001192 return 0;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001193
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001194 /* Check for pattern 3 */
Sam Ravnborg6c5bd232008-01-20 10:43:27 +01001195 if (match(fromsec, head_sections) &&
1196 match(tosec, init_sections))
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001197 return 0;
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001198
Sam Ravnborg1d8af552007-06-03 00:41:22 +02001199 /* Check for pattern 4 */
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001200 if (match(tosym, linker_symbols))
1201 return 0;
Sam Ravnborg9bf8cb92007-02-26 17:49:06 +01001202
Paul Gortmaker4a3893d2015-04-20 10:20:40 +09301203 /* Check for pattern 5 */
1204 if (match(fromsec, text_sections) &&
1205 match(tosec, init_sections) &&
1206 match(fromsym, optim_symbols))
1207 return 0;
1208
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001209 return 1;
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001210}
1211
1212/**
Sam Ravnborg93684d32006-02-19 11:53:35 +01001213 * Find symbol based on relocation record info.
1214 * In some cases the symbol supplied is a valid symbol so
1215 * return refsym. If st_name != 0 we assume this is a valid symbol.
1216 * In other cases the symbol needs to be looked up in the symbol table
1217 * based on section and address.
1218 * **/
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001219static Elf_Sym *find_elf_symbol(struct elf_info *elf, Elf64_Sword addr,
Sam Ravnborg93684d32006-02-19 11:53:35 +01001220 Elf_Sym *relsym)
1221{
1222 Elf_Sym *sym;
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001223 Elf_Sym *near = NULL;
1224 Elf64_Sword distance = 20;
1225 Elf64_Sword d;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001226 unsigned int relsym_secindex;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001227
1228 if (relsym->st_name != 0)
1229 return relsym;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001230
1231 relsym_secindex = get_secindex(elf, relsym);
Sam Ravnborg93684d32006-02-19 11:53:35 +01001232 for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) {
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001233 if (get_secindex(elf, sym) != relsym_secindex)
Sam Ravnborg93684d32006-02-19 11:53:35 +01001234 continue;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001235 if (ELF_ST_TYPE(sym->st_info) == STT_SECTION)
1236 continue;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001237 if (sym->st_value == addr)
1238 return sym;
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001239 /* Find a symbol nearby - addr are maybe negative */
1240 d = sym->st_value - addr;
1241 if (d < 0)
1242 d = addr - sym->st_value;
1243 if (d < distance) {
1244 distance = d;
1245 near = sym;
1246 }
Sam Ravnborg93684d32006-02-19 11:53:35 +01001247 }
Sam Ravnborg9ad21c32008-01-18 21:04:34 +01001248 /* We need a close match */
1249 if (distance < 20)
1250 return near;
1251 else
1252 return NULL;
Sam Ravnborg93684d32006-02-19 11:53:35 +01001253}
1254
David Brownellda68d612007-02-20 13:58:16 -08001255static inline int is_arm_mapping_symbol(const char *str)
1256{
Kyle McMartin6c34f1f2014-09-16 22:37:18 +01001257 return str[0] == '$' && strchr("axtd", str[1])
David Brownellda68d612007-02-20 13:58:16 -08001258 && (str[2] == '\0' || str[2] == '.');
1259}
1260
1261/*
1262 * If there's no name there, ignore it; likewise, ignore it if it's
1263 * one of the magic symbols emitted used by current ARM tools.
1264 *
1265 * Otherwise if find_symbols_between() returns those symbols, they'll
1266 * fail the whitelist tests and cause lots of false alarms ... fixable
1267 * only by merging __exit and __init sections into __text, bloating
1268 * the kernel (which is especially evil on embedded platforms).
1269 */
1270static inline int is_valid_name(struct elf_info *elf, Elf_Sym *sym)
1271{
1272 const char *name = elf->strtab + sym->st_name;
1273
1274 if (!name || !strlen(name))
1275 return 0;
1276 return !is_arm_mapping_symbol(name);
1277}
1278
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001279/*
Sam Ravnborg43c74d12006-03-05 12:02:46 +01001280 * Find symbols before or equal addr and after addr - in the section sec.
1281 * If we find two symbols with equal offset prefer one with a valid name.
1282 * The ELF format may have a better way to detect what type of symbol
1283 * it is, but this works for now.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001284 **/
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001285static Elf_Sym *find_elf_symbol2(struct elf_info *elf, Elf_Addr addr,
1286 const char *sec)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001287{
1288 Elf_Sym *sym;
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001289 Elf_Sym *near = NULL;
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001290 Elf_Addr distance = ~0;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001291
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001292 for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) {
1293 const char *symsec;
1294
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001295 if (is_shndx_special(sym->st_shndx))
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001296 continue;
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001297 symsec = sec_name(elf, get_secindex(elf, sym));
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001298 if (strcmp(symsec, sec) != 0)
1299 continue;
David Brownellda68d612007-02-20 13:58:16 -08001300 if (!is_valid_name(elf, sym))
1301 continue;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001302 if (sym->st_value <= addr) {
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001303 if ((addr - sym->st_value) < distance) {
1304 distance = addr - sym->st_value;
1305 near = sym;
1306 } else if ((addr - sym->st_value) == distance) {
1307 near = sym;
Sam Ravnborg43c74d12006-03-05 12:02:46 +01001308 }
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001309 }
1310 }
Sam Ravnborg157c23c2008-01-22 21:44:32 +01001311 return near;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001312}
1313
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001314/*
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001315 * Convert a section name to the function/data attribute
1316 * .init.text => __init
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001317 * .memexitconst => __memconst
1318 * etc.
Andy Shevchenkocbcf14a92010-08-17 13:36:40 +03001319 *
1320 * The memory of returned value has been allocated on a heap. The user of this
1321 * method should free it after usage.
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001322*/
1323static char *sec2annotation(const char *s)
1324{
1325 if (match(s, init_exit_sections)) {
1326 char *p = malloc(20);
1327 char *r = p;
1328
1329 *p++ = '_';
1330 *p++ = '_';
1331 if (*s == '.')
1332 s++;
1333 while (*s && *s != '.')
1334 *p++ = *s++;
1335 *p = '\0';
1336 if (*s == '.')
1337 s++;
1338 if (strstr(s, "rodata") != NULL)
1339 strcat(p, "const ");
1340 else if (strstr(s, "data") != NULL)
1341 strcat(p, "data ");
1342 else
1343 strcat(p, " ");
Andy Shevchenkocbcf14a92010-08-17 13:36:40 +03001344 return r;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001345 } else {
Andrew Morton5003bab2010-08-11 00:42:26 -07001346 return strdup("");
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001347 }
1348}
1349
1350static int is_function(Elf_Sym *sym)
1351{
1352 if (sym)
1353 return ELF_ST_TYPE(sym->st_info) == STT_FUNC;
1354 else
Sam Ravnborgf6667512008-02-06 21:51:18 +01001355 return -1;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001356}
1357
Randy Dunlap00759c02011-03-15 14:13:47 -07001358static void print_section_list(const char * const list[20])
1359{
1360 const char *const *s = list;
1361
1362 while (*s) {
1363 fprintf(stderr, "%s", *s);
1364 s++;
1365 if (*s)
1366 fprintf(stderr, ", ");
1367 }
1368 fprintf(stderr, "\n");
1369}
1370
Quentin Casasnovas356ad532015-04-13 20:43:34 +09301371static inline void get_pretty_name(int is_func, const char** name, const char** name_p)
1372{
1373 switch (is_func) {
1374 case 0: *name = "variable"; *name_p = ""; break;
1375 case 1: *name = "function"; *name_p = "()"; break;
1376 default: *name = "(unknown reference)"; *name_p = ""; break;
1377 }
1378}
1379
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001380/*
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001381 * Print a warning about a section mismatch.
1382 * Try to find symbols near it so user can find it.
Sam Ravnborg4c8fbca2006-02-26 22:18:11 +01001383 * Check whitelist before warning - it may be a false positive.
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001384 */
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001385static void report_sec_mismatch(const char *modname,
1386 const struct sectioncheck *mismatch,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001387 const char *fromsec,
1388 unsigned long long fromaddr,
1389 const char *fromsym,
1390 int from_is_func,
1391 const char *tosec, const char *tosym,
1392 int to_is_func)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001393{
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001394 const char *from, *from_p;
1395 const char *to, *to_p;
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001396 char *prl_from;
1397 char *prl_to;
Sam Ravnborgf6667512008-02-06 21:51:18 +01001398
Sam Ravnborge5f95c82008-02-02 18:57:18 +01001399 sec_mismatch_count++;
1400 if (!sec_mismatch_verbose)
1401 return;
1402
Quentin Casasnovas356ad532015-04-13 20:43:34 +09301403 get_pretty_name(from_is_func, &from, &from_p);
1404 get_pretty_name(to_is_func, &to, &to_p);
1405
Geert Uytterhoeven7c0ac492008-02-05 11:38:49 +01001406 warn("%s(%s+0x%llx): Section mismatch in reference from the %s %s%s "
1407 "to the %s %s:%s%s\n",
1408 modname, fromsec, fromaddr, from, fromsym, from_p, to, tosec,
1409 tosym, to_p);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001410
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001411 switch (mismatch->mismatch) {
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001412 case TEXT_TO_ANY_INIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001413 prl_from = sec2annotation(fromsec);
1414 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001415 fprintf(stderr,
Sam Ravnborgf6667512008-02-06 21:51:18 +01001416 "The function %s%s() references\n"
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001417 "the %s %s%s%s.\n"
1418 "This is often because %s lacks a %s\n"
1419 "annotation or the annotation of %s is wrong.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001420 prl_from, fromsym,
1421 to, prl_to, tosym, to_p,
1422 fromsym, prl_to, tosym);
1423 free(prl_from);
1424 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001425 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001426 case DATA_TO_ANY_INIT: {
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001427 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001428 fprintf(stderr,
1429 "The variable %s references\n"
1430 "the %s %s%s%s\n"
1431 "If the reference is valid then annotate the\n"
Sam Ravnborg8b8b76c2009-06-06 00:18:05 +02001432 "variable with __init* or __refdata (see linux/init.h) "
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001433 "or name the variable:\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001434 fromsym, to, prl_to, tosym, to_p);
Randy Dunlap00759c02011-03-15 14:13:47 -07001435 print_section_list(mismatch->symbol_white_list);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001436 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001437 break;
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001438 }
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001439 case TEXT_TO_ANY_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001440 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001441 fprintf(stderr,
1442 "The function %s() references a %s in an exit section.\n"
1443 "Often the %s %s%s has valid usage outside the exit section\n"
1444 "and the fix is to remove the %sannotation of %s.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001445 fromsym, to, to, tosym, to_p, prl_to, tosym);
1446 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001447 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001448 case DATA_TO_ANY_EXIT: {
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001449 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001450 fprintf(stderr,
1451 "The variable %s references\n"
1452 "the %s %s%s%s\n"
1453 "If the reference is valid then annotate the\n"
1454 "variable with __exit* (see linux/init.h) or "
1455 "name the variable:\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001456 fromsym, to, prl_to, tosym, to_p);
Randy Dunlap00759c02011-03-15 14:13:47 -07001457 print_section_list(mismatch->symbol_white_list);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001458 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001459 break;
1460 }
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001461 case XXXINIT_TO_SOME_INIT:
1462 case XXXEXIT_TO_SOME_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001463 prl_from = sec2annotation(fromsec);
1464 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001465 fprintf(stderr,
1466 "The %s %s%s%s references\n"
1467 "a %s %s%s%s.\n"
1468 "If %s is only used by %s then\n"
1469 "annotate %s with a matching annotation.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001470 from, prl_from, fromsym, from_p,
1471 to, prl_to, tosym, to_p,
Geert Uytterhoevenb1d26752008-02-17 14:12:10 +01001472 tosym, fromsym, tosym);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001473 free(prl_from);
1474 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001475 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001476 case ANY_INIT_TO_ANY_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001477 prl_from = sec2annotation(fromsec);
1478 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001479 fprintf(stderr,
1480 "The %s %s%s%s references\n"
1481 "a %s %s%s%s.\n"
1482 "This is often seen when error handling "
1483 "in the init function\n"
1484 "uses functionality in the exit path.\n"
1485 "The fix is often to remove the %sannotation of\n"
1486 "%s%s so it may be used outside an exit section.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001487 from, prl_from, fromsym, from_p,
1488 to, prl_to, tosym, to_p,
Andrew Morton5003bab2010-08-11 00:42:26 -07001489 prl_to, tosym, to_p);
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001490 free(prl_from);
1491 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001492 break;
Uwe Kleine-Königbbd3f4f2010-01-30 16:35:47 +01001493 case ANY_EXIT_TO_ANY_INIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001494 prl_from = sec2annotation(fromsec);
1495 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001496 fprintf(stderr,
1497 "The %s %s%s%s references\n"
1498 "a %s %s%s%s.\n"
1499 "This is often seen when error handling "
1500 "in the exit function\n"
1501 "uses functionality in the init path.\n"
1502 "The fix is often to remove the %sannotation of\n"
1503 "%s%s so it may be used outside an init section.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001504 from, prl_from, fromsym, from_p,
1505 to, prl_to, tosym, to_p,
1506 prl_to, tosym, to_p);
1507 free(prl_from);
1508 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001509 break;
1510 case EXPORT_TO_INIT_EXIT:
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001511 prl_to = sec2annotation(tosec);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001512 fprintf(stderr,
1513 "The symbol %s is exported and annotated %s\n"
1514 "Fix this by removing the %sannotation of %s "
1515 "or drop the export.\n",
Alexey Fomenko37ed19d2010-08-09 17:20:24 -07001516 tosym, prl_to, prl_to, tosym);
1517 free(prl_to);
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001518 break;
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301519 case EXTABLE_TO_NON_TEXT:
1520 fatal("There's a special handler for this mismatch type, "
1521 "we should never get here.");
1522 break;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01001523 }
1524 fprintf(stderr, "\n");
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001525}
1526
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301527static void default_mismatch_handler(const char *modname, struct elf_info *elf,
1528 const struct sectioncheck* const mismatch,
1529 Elf_Rela *r, Elf_Sym *sym, const char *fromsec)
1530{
1531 const char *tosec;
1532 Elf_Sym *to;
1533 Elf_Sym *from;
1534 const char *tosym;
1535 const char *fromsym;
1536
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301537 from = find_elf_symbol2(elf, r->r_offset, fromsec);
1538 fromsym = sym_name(elf, from);
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301539
1540 if (!strncmp(fromsym, "reference___initcall",
1541 sizeof("reference___initcall")-1))
1542 return;
1543
Quentin Casasnovasc7a65e02015-04-13 20:43:45 +09301544 tosec = sec_name(elf, get_secindex(elf, sym));
1545 to = find_elf_symbol(elf, r->r_addend, sym);
1546 tosym = sym_name(elf, to);
1547
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301548 /* check whitelist - we may ignore it */
1549 if (secref_whitelist(mismatch,
1550 fromsec, fromsym, tosec, tosym)) {
1551 report_sec_mismatch(modname, mismatch,
1552 fromsec, r->r_offset, fromsym,
1553 is_function(from), tosec, tosym,
1554 is_function(to));
1555 }
1556}
1557
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301558static int is_executable_section(struct elf_info* elf, unsigned int section_index)
1559{
1560 if (section_index > elf->num_sections)
1561 fatal("section_index is outside elf->num_sections!\n");
1562
1563 return ((elf->sechdrs[section_index].sh_flags & SHF_EXECINSTR) == SHF_EXECINSTR);
1564}
1565
1566/*
1567 * We rely on a gross hack in section_rel[a]() calling find_extable_entry_size()
1568 * to know the sizeof(struct exception_table_entry) for the target architecture.
1569 */
1570static unsigned int extable_entry_size = 0;
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301571static void find_extable_entry_size(const char* const sec, const Elf_Rela* r)
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301572{
1573 /*
1574 * If we're currently checking the second relocation within __ex_table,
1575 * that relocation offset tells us the offsetof(struct
1576 * exception_table_entry, fixup) which is equal to sizeof(struct
1577 * exception_table_entry) divided by two. We use that to our advantage
1578 * since there's no portable way to get that size as every architecture
1579 * seems to go with different sized types. Not pretty but better than
1580 * hard-coding the size for every architecture..
1581 */
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301582 if (!extable_entry_size)
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301583 extable_entry_size = r->r_offset * 2;
1584}
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301585
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301586static inline bool is_extable_fault_address(Elf_Rela *r)
1587{
Quentin Casasnovasd3df4de2015-04-16 13:03:32 +09301588 /*
1589 * extable_entry_size is only discovered after we've handled the
1590 * _second_ relocation in __ex_table, so only abort when we're not
1591 * handling the first reloc and extable_entry_size is zero.
1592 */
1593 if (r->r_offset && extable_entry_size == 0)
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301594 fatal("extable_entry size hasn't been discovered!\n");
1595
1596 return ((r->r_offset == 0) ||
1597 (r->r_offset % extable_entry_size == 0));
1598}
1599
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301600#define is_second_extable_reloc(Start, Cur, Sec) \
1601 (((Cur) == (Start) + 1) && (strcmp("__ex_table", (Sec)) == 0))
1602
Quentin Casasnovas52dc0592015-04-13 20:52:53 +09301603static void report_extable_warnings(const char* modname, struct elf_info* elf,
1604 const struct sectioncheck* const mismatch,
1605 Elf_Rela* r, Elf_Sym* sym,
1606 const char* fromsec, const char* tosec)
1607{
1608 Elf_Sym* fromsym = find_elf_symbol2(elf, r->r_offset, fromsec);
1609 const char* fromsym_name = sym_name(elf, fromsym);
1610 Elf_Sym* tosym = find_elf_symbol(elf, r->r_addend, sym);
1611 const char* tosym_name = sym_name(elf, tosym);
1612 const char* from_pretty_name;
1613 const char* from_pretty_name_p;
1614 const char* to_pretty_name;
1615 const char* to_pretty_name_p;
1616
1617 get_pretty_name(is_function(fromsym),
1618 &from_pretty_name, &from_pretty_name_p);
1619 get_pretty_name(is_function(tosym),
1620 &to_pretty_name, &to_pretty_name_p);
1621
1622 warn("%s(%s+0x%lx): Section mismatch in reference"
1623 " from the %s %s%s to the %s %s:%s%s\n",
1624 modname, fromsec, (long)r->r_offset, from_pretty_name,
1625 fromsym_name, from_pretty_name_p,
1626 to_pretty_name, tosec, tosym_name, to_pretty_name_p);
1627
1628 if (!match(tosec, mismatch->bad_tosec) &&
1629 is_executable_section(elf, get_secindex(elf, sym)))
1630 fprintf(stderr,
1631 "The relocation at %s+0x%lx references\n"
1632 "section \"%s\" which is not in the list of\n"
1633 "authorized sections. If you're adding a new section\n"
1634 "and/or if this reference is valid, add \"%s\" to the\n"
1635 "list of authorized sections to jump to on fault.\n"
1636 "This can be achieved by adding \"%s\" to \n"
1637 "OTHER_TEXT_SECTIONS in scripts/mod/modpost.c.\n",
1638 fromsec, (long)r->r_offset, tosec, tosec, tosec);
1639}
1640
1641static void extable_mismatch_handler(const char* modname, struct elf_info *elf,
1642 const struct sectioncheck* const mismatch,
1643 Elf_Rela* r, Elf_Sym* sym,
1644 const char *fromsec)
1645{
1646 const char* tosec = sec_name(elf, get_secindex(elf, sym));
1647
1648 sec_mismatch_count++;
1649
1650 if (sec_mismatch_verbose)
1651 report_extable_warnings(modname, elf, mismatch, r, sym,
1652 fromsec, tosec);
1653
1654 if (match(tosec, mismatch->bad_tosec))
1655 fatal("The relocation at %s+0x%lx references\n"
1656 "section \"%s\" which is black-listed.\n"
1657 "Something is seriously wrong and should be fixed.\n"
1658 "You might get more information about where this is\n"
1659 "coming from by using scripts/check_extable.sh %s\n",
1660 fromsec, (long)r->r_offset, tosec, modname);
1661 else if (!is_executable_section(elf, get_secindex(elf, sym))) {
1662 if (is_extable_fault_address(r))
1663 fatal("The relocation at %s+0x%lx references\n"
1664 "section \"%s\" which is not executable, IOW\n"
1665 "it is not possible for the kernel to fault\n"
1666 "at that address. Something is seriously wrong\n"
1667 "and should be fixed.\n",
1668 fromsec, (long)r->r_offset, tosec);
1669 else
1670 fatal("The relocation at %s+0x%lx references\n"
1671 "section \"%s\" which is not executable, IOW\n"
1672 "the kernel will fault if it ever tries to\n"
1673 "jump to it. Something is seriously wrong\n"
1674 "and should be fixed.\n",
1675 fromsec, (long)r->r_offset, tosec);
1676 }
1677}
1678
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001679static void check_section_mismatch(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001680 Elf_Rela *r, Elf_Sym *sym, const char *fromsec)
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001681{
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301682 const char *tosec = sec_name(elf, get_secindex(elf, sym));;
1683 const struct sectioncheck *mismatch = section_mismatch(fromsec, tosec);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001684
Uwe Kleine-König0d2a6362010-01-30 16:56:20 +01001685 if (mismatch) {
Quentin Casasnovas644e8f12015-04-13 20:43:17 +09301686 if (mismatch->handler)
1687 mismatch->handler(modname, elf, mismatch,
1688 r, sym, fromsec);
1689 else
1690 default_mismatch_handler(modname, elf, mismatch,
1691 r, sym, fromsec);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001692 }
1693}
1694
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001695static unsigned int *reloc_location(struct elf_info *elf,
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001696 Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001697{
1698 Elf_Shdr *sechdrs = elf->sechdrs;
Anders Kaseorg68457562011-05-19 16:55:27 -06001699 int section = sechdr->sh_info;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001700
1701 return (void *)elf->hdr + sechdrs[section].sh_offset +
Olof Johansson731ece42010-12-10 02:09:23 -06001702 r->r_offset;
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001703}
1704
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001705static int addend_386_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001706{
1707 unsigned int r_typ = ELF_R_TYPE(r->r_info);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001708 unsigned int *location = reloc_location(elf, sechdr, r);
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001709
1710 switch (r_typ) {
1711 case R_386_32:
1712 r->r_addend = TO_NATIVE(*location);
1713 break;
1714 case R_386_PC32:
1715 r->r_addend = TO_NATIVE(*location) + 4;
1716 /* For CONFIG_RELOCATABLE=y */
1717 if (elf->hdr->e_type == ET_EXEC)
1718 r->r_addend += r->r_offset;
1719 break;
1720 }
1721 return 0;
1722}
1723
Tony Lindgren6e2e3402012-02-14 21:58:56 +01001724#ifndef R_ARM_CALL
1725#define R_ARM_CALL 28
1726#endif
1727#ifndef R_ARM_JUMP24
1728#define R_ARM_JUMP24 29
1729#endif
1730
David A. Longc9698e52014-02-14 22:41:18 +01001731#ifndef R_ARM_THM_CALL
1732#define R_ARM_THM_CALL 10
1733#endif
1734#ifndef R_ARM_THM_JUMP24
1735#define R_ARM_THM_JUMP24 30
1736#endif
1737#ifndef R_ARM_THM_JUMP19
1738#define R_ARM_THM_JUMP19 51
1739#endif
1740
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001741static int addend_arm_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001742{
1743 unsigned int r_typ = ELF_R_TYPE(r->r_info);
1744
1745 switch (r_typ) {
1746 case R_ARM_ABS32:
1747 /* From ARM ABI: (S + A) | T */
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001748 r->r_addend = (int)(long)
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001749 (elf->symtab_start + ELF_R_SYM(r->r_info));
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001750 break;
1751 case R_ARM_PC24:
Tony Lindgren6e2e3402012-02-14 21:58:56 +01001752 case R_ARM_CALL:
1753 case R_ARM_JUMP24:
David A. Longc9698e52014-02-14 22:41:18 +01001754 case R_ARM_THM_CALL:
1755 case R_ARM_THM_JUMP24:
1756 case R_ARM_THM_JUMP19:
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001757 /* From ARM ABI: ((S + A) | T) - P */
Sam Ravnborgdf578e72008-01-11 19:17:15 +01001758 r->r_addend = (int)(long)(elf->hdr +
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001759 sechdr->sh_offset +
1760 (r->r_offset - sechdr->sh_addr));
Sam Ravnborg56a974f2007-07-16 22:39:35 +02001761 break;
1762 default:
1763 return 1;
1764 }
1765 return 0;
1766}
1767
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001768static int addend_mips_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r)
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001769{
1770 unsigned int r_typ = ELF_R_TYPE(r->r_info);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001771 unsigned int *location = reloc_location(elf, sechdr, r);
Atsushi Nemotoae4ac122007-05-22 18:27:39 +09001772 unsigned int inst;
1773
1774 if (r_typ == R_MIPS_HI16)
1775 return 1; /* skip this */
1776 inst = TO_NATIVE(*location);
1777 switch (r_typ) {
1778 case R_MIPS_LO16:
1779 r->r_addend = inst & 0xffff;
1780 break;
1781 case R_MIPS_26:
1782 r->r_addend = (inst & 0x03ffffff) << 2;
1783 break;
1784 case R_MIPS_32:
1785 r->r_addend = inst;
1786 break;
1787 }
1788 return 0;
1789}
1790
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001791static void section_rela(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001792 Elf_Shdr *sechdr)
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001793{
1794 Elf_Sym *sym;
1795 Elf_Rela *rela;
1796 Elf_Rela r;
1797 unsigned int r_sym;
1798 const char *fromsec;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001799
Sam Ravnborgff13f922008-01-23 19:54:27 +01001800 Elf_Rela *start = (void *)elf->hdr + sechdr->sh_offset;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001801 Elf_Rela *stop = (void *)start + sechdr->sh_size;
1802
Sam Ravnborgff13f922008-01-23 19:54:27 +01001803 fromsec = sech_name(elf, sechdr);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001804 fromsec += strlen(".rela");
1805 /* if from section (name) is know good then skip it */
Anders Kaseorgb614a692009-04-23 16:49:33 -04001806 if (match(fromsec, section_white_list))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001807 return;
Sam Ravnborge241a632008-01-28 20:13:13 +01001808
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001809 for (rela = start; rela < stop; rela++) {
1810 r.r_offset = TO_NATIVE(rela->r_offset);
1811#if KERNEL_ELFCLASS == ELFCLASS64
Sam Ravnborgff13f922008-01-23 19:54:27 +01001812 if (elf->hdr->e_machine == EM_MIPS) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001813 unsigned int r_typ;
1814 r_sym = ELF64_MIPS_R_SYM(rela->r_info);
1815 r_sym = TO_NATIVE(r_sym);
1816 r_typ = ELF64_MIPS_R_TYPE(rela->r_info);
1817 r.r_info = ELF64_R_INFO(r_sym, r_typ);
1818 } else {
1819 r.r_info = TO_NATIVE(rela->r_info);
1820 r_sym = ELF_R_SYM(r.r_info);
1821 }
1822#else
1823 r.r_info = TO_NATIVE(rela->r_info);
1824 r_sym = ELF_R_SYM(r.r_info);
1825#endif
1826 r.r_addend = TO_NATIVE(rela->r_addend);
1827 sym = elf->symtab_start + r_sym;
1828 /* Skip special sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001829 if (is_shndx_special(sym->st_shndx))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001830 continue;
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301831 if (is_second_extable_reloc(start, rela, fromsec))
1832 find_extable_entry_size(fromsec, &r);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001833 check_section_mismatch(modname, elf, &r, sym, fromsec);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001834 }
1835}
1836
1837static void section_rel(const char *modname, struct elf_info *elf,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001838 Elf_Shdr *sechdr)
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001839{
1840 Elf_Sym *sym;
1841 Elf_Rel *rel;
1842 Elf_Rela r;
1843 unsigned int r_sym;
1844 const char *fromsec;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001845
Sam Ravnborgff13f922008-01-23 19:54:27 +01001846 Elf_Rel *start = (void *)elf->hdr + sechdr->sh_offset;
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001847 Elf_Rel *stop = (void *)start + sechdr->sh_size;
1848
Sam Ravnborgff13f922008-01-23 19:54:27 +01001849 fromsec = sech_name(elf, sechdr);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001850 fromsec += strlen(".rel");
1851 /* if from section (name) is know good then skip it */
Anders Kaseorgb614a692009-04-23 16:49:33 -04001852 if (match(fromsec, section_white_list))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001853 return;
1854
1855 for (rel = start; rel < stop; rel++) {
1856 r.r_offset = TO_NATIVE(rel->r_offset);
1857#if KERNEL_ELFCLASS == ELFCLASS64
Sam Ravnborgff13f922008-01-23 19:54:27 +01001858 if (elf->hdr->e_machine == EM_MIPS) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001859 unsigned int r_typ;
1860 r_sym = ELF64_MIPS_R_SYM(rel->r_info);
1861 r_sym = TO_NATIVE(r_sym);
1862 r_typ = ELF64_MIPS_R_TYPE(rel->r_info);
1863 r.r_info = ELF64_R_INFO(r_sym, r_typ);
1864 } else {
1865 r.r_info = TO_NATIVE(rel->r_info);
1866 r_sym = ELF_R_SYM(r.r_info);
1867 }
1868#else
1869 r.r_info = TO_NATIVE(rel->r_info);
1870 r_sym = ELF_R_SYM(r.r_info);
1871#endif
1872 r.r_addend = 0;
Sam Ravnborgff13f922008-01-23 19:54:27 +01001873 switch (elf->hdr->e_machine) {
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001874 case EM_386:
1875 if (addend_386_rel(elf, sechdr, &r))
1876 continue;
1877 break;
1878 case EM_ARM:
1879 if (addend_arm_rel(elf, sechdr, &r))
1880 continue;
1881 break;
1882 case EM_MIPS:
1883 if (addend_mips_rel(elf, sechdr, &r))
1884 continue;
1885 break;
1886 }
1887 sym = elf->symtab_start + r_sym;
1888 /* Skip special sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001889 if (is_shndx_special(sym->st_shndx))
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001890 continue;
Quentin Casasnovase84048a2015-04-16 13:05:36 +09301891 if (is_second_extable_reloc(start, rel, fromsec))
1892 find_extable_entry_size(fromsec, &r);
Sam Ravnborg58fb0d42008-01-23 21:13:50 +01001893 check_section_mismatch(modname, elf, &r, sym, fromsec);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001894 }
1895}
1896
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001897/**
1898 * A module includes a number of sections that are discarded
1899 * either when loaded or when used as built-in.
1900 * For loaded modules all functions marked __init and all data
Uwe Kleine-Königb5950762010-11-01 15:38:34 -04001901 * marked __initdata will be discarded when the module has been initialized.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001902 * Likewise for modules used built-in the sections marked __exit
1903 * are discarded because __exit marked function are supposed to be called
Ben Dooks32be1d22008-07-29 22:33:44 -07001904 * only when a module is unloaded which never happens for built-in modules.
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001905 * The check_sec_ref() function traverses all relocation records
1906 * to find all references to a section that reference a section that will
1907 * be discarded and warns about it.
1908 **/
1909static void check_sec_ref(struct module *mod, const char *modname,
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09001910 struct elf_info *elf)
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001911{
1912 int i;
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001913 Elf_Shdr *sechdrs = elf->sechdrs;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01001914
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001915 /* Walk through all sections */
Denys Vlasenko1ce53ad2010-07-29 01:47:53 +02001916 for (i = 0; i < elf->num_sections; i++) {
Anders Kaseorgb614a692009-04-23 16:49:33 -04001917 check_section(modname, elf, &elf->sechdrs[i]);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001918 /* We want to process only relocation sections and not .init */
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001919 if (sechdrs[i].sh_type == SHT_RELA)
Sam Ravnborg10668222008-01-13 22:21:31 +01001920 section_rela(modname, elf, &elf->sechdrs[i]);
Sam Ravnborg5b24c072008-01-18 21:49:29 +01001921 else if (sechdrs[i].sh_type == SHT_REL)
Sam Ravnborg10668222008-01-13 22:21:31 +01001922 section_rel(modname, elf, &elf->sechdrs[i]);
Sam Ravnborgb39927c2006-02-17 22:42:02 +01001923 }
1924}
1925
Andi Kleen7d02b492014-02-08 09:01:12 +01001926static char *remove_dot(char *s)
1927{
Michal Nazarewiczfcd38ed2014-07-27 07:27:01 +09301928 size_t n = strcspn(s, ".");
Andi Kleen7d02b492014-02-08 09:01:12 +01001929
Michal Nazarewiczfcd38ed2014-07-27 07:27:01 +09301930 if (n && s[n]) {
1931 size_t m = strspn(s + n + 1, "0123456789");
1932 if (m && (s[n + m] == '.' || s[n + m] == 0))
Andi Kleen7d02b492014-02-08 09:01:12 +01001933 s[n] = 0;
1934 }
1935 return s;
1936}
1937
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01001938static void read_symbols(char *modname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939{
1940 const char *symname;
1941 char *version;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001942 char *license;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001943 struct module *mod;
1944 struct elf_info info = { };
1945 Elf_Sym *sym;
1946
Sam Ravnborg85bd2fd2007-02-26 15:33:52 +01001947 if (!parse_elf(&info, modname))
1948 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001949
1950 mod = new_module(modname);
1951
1952 /* When there's no vmlinux, don't print warnings about
1953 * unresolved symbols (since there'll be too many ;) */
1954 if (is_vmlinux(modname)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001955 have_vmlinux = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001956 mod->skip = 1;
1957 }
1958
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001959 license = get_modinfo(info.modinfo, info.modinfo_len, "license");
Sam Ravnborg2fa36562008-04-26 21:07:26 +02001960 if (info.modinfo && !license && !is_vmlinux(modname))
1961 warn("modpost: missing MODULE_LICENSE() in %s\n"
1962 "see include/linux/module.h for "
1963 "more information\n", modname);
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02001964 while (license) {
1965 if (license_is_gpl_compatible(license))
1966 mod->gpl_compatible = 1;
1967 else {
1968 mod->gpl_compatible = 0;
1969 break;
1970 }
1971 license = get_next_modinfo(info.modinfo, info.modinfo_len,
1972 "license", license);
1973 }
1974
Linus Torvalds1da177e2005-04-16 15:20:36 -07001975 for (sym = info.symtab_start; sym < info.symtab_stop; sym++) {
Andi Kleen7d02b492014-02-08 09:01:12 +01001976 symname = remove_dot(info.strtab + sym->st_name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001977
1978 handle_modversions(mod, &info, sym, symname);
1979 handle_moddevtable(mod, &info, sym, symname);
1980 }
Sam Ravnborgd1f25e62008-01-17 21:17:42 +01001981 if (!is_vmlinux(modname) ||
Sam Ravnborg10668222008-01-13 22:21:31 +01001982 (is_vmlinux(modname) && vmlinux_section_warnings))
1983 check_sec_ref(mod, modname, &info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001984
1985 version = get_modinfo(info.modinfo, info.modinfo_len, "version");
1986 if (version)
1987 maybe_frob_rcs_version(modname, version, info.modinfo,
1988 version - (char *)info.hdr);
1989 if (version || (all_versions && !is_vmlinux(modname)))
1990 get_src_version(modname, mod->srcversion,
1991 sizeof(mod->srcversion)-1);
1992
1993 parse_elf_finish(&info);
1994
Rusty Russell8c8ef422009-03-31 13:05:34 -06001995 /* Our trick to get versioning for module struct etc. - it's
Linus Torvalds1da177e2005-04-16 15:20:36 -07001996 * never passed as an argument to an exported function, so
1997 * the automatic versioning doesn't pick it up, but it's really
1998 * important anyhow */
1999 if (modversions)
Rusty Russell8c8ef422009-03-31 13:05:34 -06002000 mod->unres = alloc_symbol("module_layout", 0, mod->unres);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002001}
2002
Rusty Russell712f9b42013-04-04 17:37:38 +10302003static void read_symbols_from_files(const char *filename)
2004{
2005 FILE *in = stdin;
2006 char fname[PATH_MAX];
2007
2008 if (strcmp(filename, "-") != 0) {
2009 in = fopen(filename, "r");
2010 if (!in)
2011 fatal("Can't open filenames file %s: %m", filename);
2012 }
2013
2014 while (fgets(fname, PATH_MAX, in) != NULL) {
2015 if (strends(fname, "\n"))
2016 fname[strlen(fname)-1] = '\0';
2017 read_symbols(fname);
2018 }
2019
2020 if (in != stdin)
2021 fclose(in);
2022}
2023
Linus Torvalds1da177e2005-04-16 15:20:36 -07002024#define SZ 500
2025
2026/* We first write the generated file into memory using the
2027 * following helper, then compare to the file on disk and
2028 * only update the later if anything changed */
2029
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002030void __attribute__((format(printf, 2, 3))) buf_printf(struct buffer *buf,
2031 const char *fmt, ...)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002032{
2033 char tmp[SZ];
2034 int len;
2035 va_list ap;
Sam Ravnborg62070fa2006-03-03 16:46:04 +01002036
Linus Torvalds1da177e2005-04-16 15:20:36 -07002037 va_start(ap, fmt);
2038 len = vsnprintf(tmp, SZ, fmt, ap);
Sam Ravnborg7670f0232006-03-16 23:04:08 -08002039 buf_write(buf, tmp, len);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002040 va_end(ap);
2041}
2042
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002043void buf_write(struct buffer *buf, const char *s, int len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002044{
2045 if (buf->size - buf->pos < len) {
Sam Ravnborg7670f0232006-03-16 23:04:08 -08002046 buf->size += len + SZ;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002047 buf->p = realloc(buf->p, buf->size);
2048 }
2049 strncpy(buf->p + buf->pos, s, len);
2050 buf->pos += len;
2051}
2052
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002053static void check_for_gpl_usage(enum export exp, const char *m, const char *s)
2054{
2055 const char *e = is_vmlinux(m) ?"":".ko";
2056
2057 switch (exp) {
2058 case export_gpl:
2059 fatal("modpost: GPL-incompatible module %s%s "
2060 "uses GPL-only symbol '%s'\n", m, e, s);
2061 break;
2062 case export_unused_gpl:
2063 fatal("modpost: GPL-incompatible module %s%s "
2064 "uses GPL-only symbol marked UNUSED '%s'\n", m, e, s);
2065 break;
2066 case export_gpl_future:
2067 warn("modpost: GPL-incompatible module %s%s "
2068 "uses future GPL-only symbol '%s'\n", m, e, s);
2069 break;
2070 case export_plain:
2071 case export_unused:
2072 case export_unknown:
2073 /* ignore */
2074 break;
2075 }
2076}
2077
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002078static void check_for_unused(enum export exp, const char *m, const char *s)
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002079{
2080 const char *e = is_vmlinux(m) ?"":".ko";
2081
2082 switch (exp) {
2083 case export_unused:
2084 case export_unused_gpl:
2085 warn("modpost: module %s%s "
2086 "uses symbol '%s' marked UNUSED\n", m, e, s);
2087 break;
2088 default:
2089 /* ignore */
2090 break;
2091 }
2092}
2093
2094static void check_exports(struct module *mod)
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002095{
2096 struct symbol *s, *exp;
2097
2098 for (s = mod->unres; s; s = s->next) {
Andrew Morton6449bd62006-06-09 20:45:06 -07002099 const char *basename;
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002100 exp = find_symbol(s->name);
2101 if (!exp || exp->module == mod)
2102 continue;
Andrew Morton6449bd62006-06-09 20:45:06 -07002103 basename = strrchr(mod->name, '/');
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002104 if (basename)
2105 basename++;
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002106 else
2107 basename = mod->name;
2108 if (!mod->gpl_compatible)
2109 check_for_gpl_usage(exp->export, basename, exp->name);
2110 check_for_unused(exp->export, basename, exp->name);
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002111 }
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002112}
2113
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002114/**
2115 * Header for the generated file
2116 **/
2117static void add_header(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002118{
2119 buf_printf(b, "#include <linux/module.h>\n");
2120 buf_printf(b, "#include <linux/vermagic.h>\n");
2121 buf_printf(b, "#include <linux/compiler.h>\n");
2122 buf_printf(b, "\n");
2123 buf_printf(b, "MODULE_INFO(vermagic, VERMAGIC_STRING);\n");
Kees Cook3e2e8572017-04-21 15:35:27 -07002124 buf_printf(b, "MODULE_INFO(name, KBUILD_MODNAME);\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002125 buf_printf(b, "\n");
Andi Kleene0f244c2013-10-23 10:57:58 +10302126 buf_printf(b, "__visible struct module __this_module\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002127 buf_printf(b, "__attribute__((section(\".gnu.linkonce.this_module\"))) = {\n");
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002128 buf_printf(b, "\t.name = KBUILD_MODNAME,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002129 if (mod->has_init)
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002130 buf_printf(b, "\t.init = init_module,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002131 if (mod->has_cleanup)
2132 buf_printf(b, "#ifdef CONFIG_MODULE_UNLOAD\n"
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002133 "\t.exit = cleanup_module,\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -07002134 "#endif\n");
Greg Kroah-Hartman3c7ec942012-04-25 11:10:15 -07002135 buf_printf(b, "\t.arch = MODULE_ARCH_INIT,\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002136 buf_printf(b, "};\n");
2137}
2138
Ben Hutchings2449b8b2011-10-24 15:12:28 +02002139static void add_intree_flag(struct buffer *b, int is_intree)
2140{
2141 if (is_intree)
2142 buf_printf(b, "\nMODULE_INFO(intree, \"Y\");\n");
2143}
2144
Trevor Keith5c725132009-09-22 16:43:38 -07002145static void add_staging_flag(struct buffer *b, const char *name)
Greg Kroah-Hartmana9860bf2008-09-24 14:46:44 -07002146{
2147 static const char *staging_dir = "drivers/staging";
2148
2149 if (strncmp(staging_dir, name, strlen(staging_dir)) == 0)
2150 buf_printf(b, "\nMODULE_INFO(staging, \"Y\");\n");
2151}
2152
Takashi Iwai5cfb2032015-08-08 15:16:20 +09302153/* In kernel, this size is defined in linux/module.h;
2154 * here we use Elf_Addr instead of long for covering cross-compile
2155 */
2156#define MODULE_NAME_LEN (64 - sizeof(Elf_Addr))
2157
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002158/**
2159 * Record CRCs for unresolved symbols
2160 **/
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002161static int add_versions(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002162{
2163 struct symbol *s, *exp;
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002164 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002165
2166 for (s = mod->unres; s; s = s->next) {
2167 exp = find_symbol(s->name);
2168 if (!exp || exp->module == mod) {
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002169 if (have_vmlinux && !s->weak) {
Matthew Wilcox2a116652006-10-07 05:35:32 -06002170 if (warn_unresolved) {
2171 warn("\"%s\" [%s.ko] undefined!\n",
2172 s->name, mod->name);
2173 } else {
2174 merror("\"%s\" [%s.ko] undefined!\n",
Masahiro Yamadabb66fc62014-06-10 19:08:13 +09002175 s->name, mod->name);
Matthew Wilcox2a116652006-10-07 05:35:32 -06002176 err = 1;
2177 }
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002178 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002179 continue;
2180 }
2181 s->module = exp->module;
2182 s->crc_valid = exp->crc_valid;
2183 s->crc = exp->crc;
2184 }
2185
2186 if (!modversions)
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002187 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002188
2189 buf_printf(b, "\n");
2190 buf_printf(b, "static const struct modversion_info ____versions[]\n");
Adrian Bunk3ff6eec2008-01-24 22:16:20 +01002191 buf_printf(b, "__used\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002192 buf_printf(b, "__attribute__((section(\"__versions\"))) = {\n");
2193
2194 for (s = mod->unres; s; s = s->next) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002195 if (!s->module)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002196 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002197 if (!s->crc_valid) {
Sam Ravnborgcb805142006-01-28 16:57:26 +01002198 warn("\"%s\" [%s.ko] has no CRC!\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07002199 s->name, mod->name);
2200 continue;
2201 }
Takashi Iwai5cfb2032015-08-08 15:16:20 +09302202 if (strlen(s->name) >= MODULE_NAME_LEN) {
2203 merror("too long symbol \"%s\" [%s.ko]\n",
2204 s->name, mod->name);
2205 err = 1;
2206 break;
2207 }
James Hogana53a11f32013-04-29 11:36:59 +09302208 buf_printf(b, "\t{ %#8x, __VMLINUX_SYMBOL_STR(%s) },\n",
James Hogana4b6a772013-03-18 19:38:56 +10302209 s->crc, s->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002210 }
2211
2212 buf_printf(b, "};\n");
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002213
2214 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002215}
2216
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002217static void add_depends(struct buffer *b, struct module *mod,
2218 struct module *modules)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002219{
2220 struct symbol *s;
2221 struct module *m;
2222 int first = 1;
2223
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002224 for (m = modules; m; m = m->next)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002225 m->seen = is_vmlinux(m->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002226
2227 buf_printf(b, "\n");
2228 buf_printf(b, "static const char __module_depends[]\n");
Adrian Bunk3ff6eec2008-01-24 22:16:20 +01002229 buf_printf(b, "__used\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002230 buf_printf(b, "__attribute__((section(\".modinfo\"))) =\n");
2231 buf_printf(b, "\"depends=");
2232 for (s = mod->unres; s; s = s->next) {
Sam Ravnborga61b2df2007-02-26 19:46:52 +01002233 const char *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002234 if (!s->module)
2235 continue;
2236
2237 if (s->module->seen)
2238 continue;
2239
2240 s->module->seen = 1;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002241 p = strrchr(s->module->name, '/');
2242 if (p)
Sam Ravnborga61b2df2007-02-26 19:46:52 +01002243 p++;
2244 else
2245 p = s->module->name;
2246 buf_printf(b, "%s%s", first ? "" : ",", p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002247 first = 0;
2248 }
2249 buf_printf(b, "\";\n");
2250}
2251
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002252static void add_srcversion(struct buffer *b, struct module *mod)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002253{
2254 if (mod->srcversion[0]) {
2255 buf_printf(b, "\n");
2256 buf_printf(b, "MODULE_INFO(srcversion, \"%s\");\n",
2257 mod->srcversion);
2258 }
2259}
2260
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002261static void write_if_changed(struct buffer *b, const char *fname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002262{
2263 char *tmp;
2264 FILE *file;
2265 struct stat st;
2266
2267 file = fopen(fname, "r");
2268 if (!file)
2269 goto write;
2270
2271 if (fstat(fileno(file), &st) < 0)
2272 goto close_write;
2273
2274 if (st.st_size != b->pos)
2275 goto close_write;
2276
2277 tmp = NOFAIL(malloc(b->pos));
2278 if (fread(tmp, 1, b->pos, file) != b->pos)
2279 goto free_write;
2280
2281 if (memcmp(tmp, b->p, b->pos) != 0)
2282 goto free_write;
2283
2284 free(tmp);
2285 fclose(file);
2286 return;
2287
2288 free_write:
2289 free(tmp);
2290 close_write:
2291 fclose(file);
2292 write:
2293 file = fopen(fname, "w");
2294 if (!file) {
2295 perror(fname);
2296 exit(1);
2297 }
2298 if (fwrite(b->p, 1, b->pos, file) != b->pos) {
2299 perror(fname);
2300 exit(1);
2301 }
2302 fclose(file);
2303}
2304
Ram Paibd5cbce2006-06-08 22:12:53 -07002305/* parse Module.symvers file. line format:
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002306 * 0x12345678<tab>symbol<tab>module[[<tab>export]<tab>something]
Ram Paibd5cbce2006-06-08 22:12:53 -07002307 **/
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002308static void read_dump(const char *fname, unsigned int kernel)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002309{
2310 unsigned long size, pos = 0;
2311 void *file = grab_file(fname, &size);
2312 char *line;
2313
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002314 if (!file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002315 /* No symbol versions, silently ignore */
2316 return;
2317
2318 while ((line = get_next_line(&pos, file, size))) {
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002319 char *symname, *modname, *d, *export, *end;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002320 unsigned int crc;
2321 struct module *mod;
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002322 struct symbol *s;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002323
2324 if (!(symname = strchr(line, '\t')))
2325 goto fail;
2326 *symname++ = '\0';
2327 if (!(modname = strchr(symname, '\t')))
2328 goto fail;
2329 *modname++ = '\0';
Laurent Riffard9ac545b2006-06-11 08:02:06 +02002330 if ((export = strchr(modname, '\t')) != NULL)
Ram Paibd5cbce2006-06-08 22:12:53 -07002331 *export++ = '\0';
Sam Ravnborg534b89a2006-07-01 10:10:19 +02002332 if (export && ((end = strchr(export, '\t')) != NULL))
2333 *end = '\0';
Linus Torvalds1da177e2005-04-16 15:20:36 -07002334 crc = strtoul(line, &d, 16);
2335 if (*symname == '\0' || *modname == '\0' || *d != '\0')
2336 goto fail;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002337 mod = find_module(modname);
2338 if (!mod) {
2339 if (is_vmlinux(modname))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002340 have_vmlinux = 1;
Jan Beulich0fa3a882009-03-12 12:28:30 +00002341 mod = new_module(modname);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002342 mod->skip = 1;
2343 }
Ram Paibd5cbce2006-06-08 22:12:53 -07002344 s = sym_add_exported(symname, mod, export_no(export));
Sam Ravnborg8e70c452006-01-28 22:22:33 +01002345 s->kernel = kernel;
2346 s->preloaded = 1;
Ram Paibd5cbce2006-06-08 22:12:53 -07002347 sym_update_crc(symname, mod, crc, export_no(export));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002348 }
Christian Engelmayer2ee41e62014-04-28 11:34:32 +09302349 release_file(file, size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002350 return;
2351fail:
Christian Engelmayer2ee41e62014-04-28 11:34:32 +09302352 release_file(file, size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002353 fatal("parse error in symbol dump file\n");
2354}
2355
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002356/* For normal builds always dump all symbols.
2357 * For external modules only dump symbols
2358 * that are not read from kernel Module.symvers.
2359 **/
2360static int dump_sym(struct symbol *sym)
2361{
2362 if (!external_module)
2363 return 1;
2364 if (sym->vmlinux || sym->kernel)
2365 return 0;
2366 return 1;
2367}
Sam Ravnborg62070fa2006-03-03 16:46:04 +01002368
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002369static void write_dump(const char *fname)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002370{
2371 struct buffer buf = { };
2372 struct symbol *symbol;
2373 int n;
2374
2375 for (n = 0; n < SYMBOL_HASH_SIZE ; n++) {
2376 symbol = symbolhash[n];
2377 while (symbol) {
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002378 if (dump_sym(symbol))
Ram Paibd5cbce2006-06-08 22:12:53 -07002379 buf_printf(&buf, "0x%08x\t%s\t%s\t%s\n",
Sam Ravnborg62070fa2006-03-03 16:46:04 +01002380 symbol->crc, symbol->name,
Ram Paibd5cbce2006-06-08 22:12:53 -07002381 symbol->module->name,
2382 export_str(symbol->export));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002383 symbol = symbol->next;
2384 }
2385 }
2386 write_if_changed(&buf, fname);
Heinrich Schuchardtc7d47f22016-08-02 21:43:01 +02002387 free(buf.p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002388}
2389
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002390struct ext_sym_list {
2391 struct ext_sym_list *next;
2392 const char *file;
2393};
2394
Sam Ravnborg5c3ead82006-01-28 17:19:35 +01002395int main(int argc, char **argv)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002396{
2397 struct module *mod;
2398 struct buffer buf = { };
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002399 char *kernel_read = NULL, *module_read = NULL;
Rusty Russell712f9b42013-04-04 17:37:38 +10302400 char *dump_write = NULL, *files_source = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002401 int opt;
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002402 int err;
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002403 struct ext_sym_list *extsym_iter;
2404 struct ext_sym_list *extsym_start = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002405
Nicolas Boichat47490ec2015-10-06 09:44:42 +10302406 while ((opt = getopt(argc, argv, "i:I:e:mnsST:o:awM:K:E")) != -1) {
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002407 switch (opt) {
2408 case 'i':
2409 kernel_read = optarg;
2410 break;
2411 case 'I':
2412 module_read = optarg;
2413 external_module = 1;
2414 break;
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002415 case 'e':
2416 external_module = 1;
2417 extsym_iter =
2418 NOFAIL(malloc(sizeof(*extsym_iter)));
2419 extsym_iter->next = extsym_start;
2420 extsym_iter->file = optarg;
2421 extsym_start = extsym_iter;
2422 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002423 case 'm':
2424 modversions = 1;
2425 break;
Guenter Roeckeed380f2013-09-23 15:23:54 +09302426 case 'n':
2427 ignore_missing_files = 1;
2428 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002429 case 'o':
2430 dump_write = optarg;
2431 break;
2432 case 'a':
2433 all_versions = 1;
2434 break;
2435 case 's':
2436 vmlinux_section_warnings = 0;
2437 break;
Sam Ravnborg588ccd72008-01-24 21:12:37 +01002438 case 'S':
2439 sec_mismatch_verbose = 0;
2440 break;
Rusty Russell712f9b42013-04-04 17:37:38 +10302441 case 'T':
2442 files_source = optarg;
2443 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002444 case 'w':
2445 warn_unresolved = 1;
2446 break;
Nicolas Boichat47490ec2015-10-06 09:44:42 +10302447 case 'E':
2448 sec_mismatch_fatal = 1;
2449 break;
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002450 default:
2451 exit(1);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002452 }
2453 }
2454
Sam Ravnborg040fcc82006-01-28 22:15:55 +01002455 if (kernel_read)
2456 read_dump(kernel_read, 1);
2457 if (module_read)
2458 read_dump(module_read, 0);
Richard Hacker2d04b5a2008-02-28 09:40:52 +01002459 while (extsym_start) {
2460 read_dump(extsym_start->file, 0);
2461 extsym_iter = extsym_start->next;
2462 free(extsym_start);
2463 extsym_start = extsym_iter;
2464 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002465
Sam Ravnborgdf578e72008-01-11 19:17:15 +01002466 while (optind < argc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002467 read_symbols(argv[optind++]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002468
Rusty Russell712f9b42013-04-04 17:37:38 +10302469 if (files_source)
2470 read_symbols_from_files(files_source);
2471
Linus Torvalds1da177e2005-04-16 15:20:36 -07002472 for (mod = modules; mod; mod = mod->next) {
2473 if (mod->skip)
2474 continue;
Sam Ravnborgc96fca22006-07-01 11:44:23 +02002475 check_exports(mod);
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002476 }
2477
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002478 err = 0;
2479
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002480 for (mod = modules; mod; mod = mod->next) {
Mathias Kraused93e1712014-08-27 20:28:56 +09302481 char fname[PATH_MAX];
Andi Kleen666ab412007-11-22 03:43:10 +01002482
Sam Ravnborgb817f6f2006-06-09 21:53:55 +02002483 if (mod->skip)
2484 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002485
2486 buf.pos = 0;
2487
2488 add_header(&buf, mod);
Ben Hutchings2449b8b2011-10-24 15:12:28 +02002489 add_intree_flag(&buf, !external_module);
Greg Kroah-Hartmana9860bf2008-09-24 14:46:44 -07002490 add_staging_flag(&buf, mod->name);
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002491 err |= add_versions(&buf, mod);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002492 add_depends(&buf, mod, modules);
2493 add_moddevtable(&buf, mod);
2494 add_srcversion(&buf, mod);
2495
2496 sprintf(fname, "%s.mod.c", mod->name);
2497 write_if_changed(&buf, fname);
2498 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002499 if (dump_write)
2500 write_dump(dump_write);
Nicolas Boichat47490ec2015-10-06 09:44:42 +10302501 if (sec_mismatch_count) {
2502 if (!sec_mismatch_verbose) {
2503 warn("modpost: Found %d section mismatch(es).\n"
2504 "To see full details build your kernel with:\n"
2505 "'make CONFIG_DEBUG_SECTION_MISMATCH=y'\n",
2506 sec_mismatch_count);
2507 }
2508 if (sec_mismatch_fatal) {
2509 fatal("modpost: Section mismatches detected.\n"
2510 "Set CONFIG_SECTION_MISMATCH_WARN_ONLY=y to allow them.\n");
2511 }
2512 }
Heinrich Schuchardtc7d47f22016-08-02 21:43:01 +02002513 free(buf.p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002514
Kirill Korotaevc53ddac2006-09-07 13:08:54 -07002515 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002516}