|
Packit |
6c4009 |
# This is an awk script to process the output of elf/check-localplt.
|
|
Packit |
6c4009 |
# The first file argument is the file of expected results.
|
|
Packit |
6c4009 |
# Each line is either a comment starting with # or it looks like:
|
|
Packit |
6c4009 |
# libfoo.so: function
|
|
Packit |
6c4009 |
# or
|
|
Packit |
6c4009 |
# libfoo.so: function + {RELA|REL} RELOC
|
|
Packit |
6c4009 |
# or
|
|
Packit |
6c4009 |
# libfoo.so: function ?
|
|
Packit |
6c4009 |
# The first entry means that one is required.
|
|
Packit |
6c4009 |
# The second entry means that one is required and relocation may also be
|
|
Packit |
6c4009 |
# {RELA|REL} RELOC.
|
|
Packit |
6c4009 |
# The third entry means that a PLT entry for function is optional in
|
|
Packit |
6c4009 |
# libfoo.so.
|
|
Packit |
6c4009 |
# The second file argument is - and this (stdin) receives the output
|
|
Packit |
6c4009 |
# of the check-localplt program.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
BEGIN { result = 0 }
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
FILENAME != "-" && /^#/ { next }
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
FILENAME != "-" {
|
|
Packit |
6c4009 |
if (NF == 5 && $3 == "+" && ($4 == "RELA" || $4 == "REL")) {
|
|
Packit |
6c4009 |
accept_type[$1 " " $2] = $4;
|
|
Packit |
6c4009 |
accept_reloc[$1 " " $2] = $5;
|
|
Packit |
6c4009 |
} else if (NF != 2 && !(NF == 3 && $3 == "?")) {
|
|
Packit |
6c4009 |
printf "%s:%d: bad data line: %s\n", FILENAME, FNR, $0 > "/dev/stderr";
|
|
Packit |
6c4009 |
result = 2;
|
|
Packit |
6c4009 |
} else {
|
|
Packit |
6c4009 |
accept[$1 " " $2] = NF == 2;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
next;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
NF != 2 && !(NF == 4 && ($3 == "RELA" || $3 == "REL")) {
|
|
Packit |
6c4009 |
print "Unexpected output from check-localplt:", $0 > "/dev/stderr";
|
|
Packit |
6c4009 |
result = 2;
|
|
Packit |
6c4009 |
next
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
key = $1 " " $2
|
|
Packit |
6c4009 |
if ($3 == "RELA" || $3 == "REL") {
|
|
Packit |
6c4009 |
# Entries like:
|
|
Packit |
6c4009 |
# libc.so: free + RELA R_X86_64_GLOB_DAT
|
|
Packit |
6c4009 |
# may be ignored.
|
|
Packit |
6c4009 |
if (key in accept_type && accept_type[key] == $3 && accept_reloc[key] == $4) {
|
|
Packit |
6c4009 |
# Match
|
|
Packit |
6c4009 |
# libc.so: free + RELA R_X86_64_GLOB_DAT
|
|
Packit |
6c4009 |
delete accept_type[key]
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
} else if (NF == 2 && key in accept_reloc) {
|
|
Packit |
6c4009 |
# Match
|
|
Packit |
6c4009 |
# libc.so: free
|
|
Packit |
6c4009 |
# against
|
|
Packit |
6c4009 |
# libc.so: free + RELA R_X86_64_GLOB_DAT
|
|
Packit |
6c4009 |
if (key in accept_type)
|
|
Packit |
6c4009 |
delete accept_type[key]
|
|
Packit |
6c4009 |
} else if (key in accept) {
|
|
Packit |
6c4009 |
delete accept[key]
|
|
Packit |
6c4009 |
} else {
|
|
Packit |
6c4009 |
print "Extra PLT reference:", $0;
|
|
Packit |
6c4009 |
if (result == 0)
|
|
Packit |
6c4009 |
result = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
END {
|
|
Packit |
6c4009 |
for (key in accept) {
|
|
Packit |
6c4009 |
if (accept[key]) {
|
|
Packit |
6c4009 |
# It's mandatory.
|
|
Packit |
6c4009 |
print "Missing required PLT reference:", key;
|
|
Packit |
6c4009 |
result = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
for (key in accept_type) {
|
|
Packit |
6c4009 |
# It's mandatory.
|
|
Packit |
6c4009 |
print "Missing required PLT or " accept_reloc[key] " reference:", key;
|
|
Packit |
6c4009 |
result = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
exit(result);
|
|
Packit |
6c4009 |
}
|