42 lines
952 B
Awk
42 lines
952 B
Awk
# This awk script expects to get command-line files that are each
|
|
# the output of 'readelf -d' on a single shared object.
|
|
# It exits successfully (0) if none contained any TEXTREL markers.
|
|
# It fails (1) if any did contain a TEXTREL marker.
|
|
# It fails (2) if the input did not take the expected form.
|
|
|
|
BEGIN { result = textrel = sanity = 0 }
|
|
|
|
function check_one(name) {
|
|
if (!sanity) {
|
|
print name ": *** input did not look like readelf -d output";
|
|
result = 2;
|
|
} else if (textrel) {
|
|
print name ": *** text relocations used";
|
|
result = result ? result : 1;
|
|
} else {
|
|
print name ": OK";
|
|
}
|
|
|
|
textrel = sanity = 0;
|
|
}
|
|
|
|
FILENAME != lastfile {
|
|
if (lastfile)
|
|
check_one(lastfile);
|
|
lastfile = FILENAME;
|
|
}
|
|
|
|
$1 == "Tag" && $2 == "Type" { sanity = 1 }
|
|
$2 == "(TEXTREL)" { textrel = 1 }
|
|
$2 == "(FLAGS)" {
|
|
for (i = 3; i <= NF; ++i) {
|
|
if ($i == "TEXTREL")
|
|
textrel = 1;
|
|
}
|
|
}
|
|
|
|
END {
|
|
check_one(lastfile);
|
|
exit(result);
|
|
}
|