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