|
Packit |
6c4009 |
# Verify that all shared objects contain the CET property.
|
|
Packit |
6c4009 |
# Copyright (C) 2018 Free Software Foundation, Inc.
|
|
Packit |
6c4009 |
# This file is part of the GNU C Library.
|
|
Packit |
6c4009 |
#
|
|
Packit |
6c4009 |
# The GNU C Library is free software; you can redistribute it and/or
|
|
Packit |
6c4009 |
# modify it under the terms of the GNU Lesser General Public
|
|
Packit |
6c4009 |
# License as published by the Free Software Foundation; either
|
|
Packit |
6c4009 |
# version 2.1 of the License, or (at your option) any later version.
|
|
Packit |
6c4009 |
#
|
|
Packit |
6c4009 |
# The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit |
6c4009 |
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
6c4009 |
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
6c4009 |
# Lesser General Public License for more details.
|
|
Packit |
6c4009 |
#
|
|
Packit |
6c4009 |
# You should have received a copy of the GNU Lesser General Public
|
|
Packit |
6c4009 |
# License along with the GNU C Library; if not, see
|
|
Packit |
6c4009 |
# <http://www.gnu.org/licenses/>.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
# This awk script expects to get command-line files that are each
|
|
Packit |
6c4009 |
# the output of 'readelf -n' on a single shared object.
|
|
Packit |
6c4009 |
# It exits successfully (0) if all of them contained the CET property.
|
|
Packit |
6c4009 |
# It fails (1) if any didn't contain the CET property
|
|
Packit |
6c4009 |
# It fails (2) if the input did not take the expected form.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
BEGIN { result = cet = sanity = 0 }
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
function check_one(name) {
|
|
Packit |
6c4009 |
if (!sanity) {
|
|
Packit |
6c4009 |
print name ": *** input did not look like readelf -n output";
|
|
Packit |
6c4009 |
result = 2;
|
|
Packit |
6c4009 |
} else if (cet) {
|
|
Packit |
6c4009 |
print name ": OK";
|
|
Packit |
6c4009 |
} else {
|
|
Packit |
6c4009 |
print name ": *** no CET property found";
|
|
Packit |
6c4009 |
result = result ? result : 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
cet = sanity = 0;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
FILENAME != lastfile {
|
|
Packit |
6c4009 |
if (lastfile)
|
|
Packit |
6c4009 |
check_one(lastfile);
|
|
Packit |
6c4009 |
lastfile = FILENAME;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
index ($0, "Displaying notes") != 0 { sanity = 1 }
|
|
Packit |
6c4009 |
index ($0, "IBT") != 0 && index ($0, "SHSTK") != 0 { cet = 1 }
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
END {
|
|
Packit |
6c4009 |
check_one(lastfile);
|
|
Packit |
6c4009 |
exit(result);
|
|
Packit |
6c4009 |
}
|