mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
52a5c700e1
Add bash script checks with shellcheck + `set` rule. Also, all existing bash scripts have been fixed.
86 lines
2.1 KiB
Bash
Executable File
86 lines
2.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
ABI_NAME="$1"
|
|
RUNTIME_ABI_ANALYSIS_RESULT="$2"
|
|
BINARY="$3"
|
|
|
|
test -n "$ABI_NAME"
|
|
test -n "$RUNTIME_ABI_ANALYSIS_RESULT"
|
|
test -n "$BINARY"
|
|
|
|
TEMPORARY_FILES="$PWD/model"
|
|
if [ -d "${TEMPORARY_FILES}" ]; then rm -rf "${TEMPORARY_FILES}"; fi
|
|
mkdir -p "${TEMPORARY_FILES}"
|
|
|
|
# Import DWARF information
|
|
revng \
|
|
model \
|
|
import \
|
|
dwarf \
|
|
"$BINARY" \
|
|
> "${TEMPORARY_FILES}/reference_binary.yml"
|
|
|
|
# Convert CABIFunctionType to RawFunctionType
|
|
revng \
|
|
model \
|
|
opt \
|
|
--convert-all-cabi-functions-to-raw \
|
|
--abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/reference_binary.yml" \
|
|
> "${TEMPORARY_FILES}/downgraded_reference_binary.yml"
|
|
|
|
# Convert RawFunctionType back to CABIFunctionType
|
|
revng \
|
|
model \
|
|
opt \
|
|
--convert-all-raw-functions-to-cabi \
|
|
--abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/downgraded_reference_binary.yml" \
|
|
> "${TEMPORARY_FILES}/upgraded_downgraded_reference_binary.yml"
|
|
|
|
# Back to RawFunctionType again
|
|
revng \
|
|
model \
|
|
opt \
|
|
--convert-all-cabi-functions-to-raw \
|
|
--abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/upgraded_downgraded_reference_binary.yml" \
|
|
> "${TEMPORARY_FILES}/downgraded_upgraded_downgraded_reference_binary.yml"
|
|
|
|
# Check there are no differences
|
|
revng \
|
|
ensure-rft-equivalence \
|
|
"${TEMPORARY_FILES}/downgraded_reference_binary.yml" \
|
|
"${TEMPORARY_FILES}/downgraded_upgraded_downgraded_reference_binary.yml"
|
|
|
|
# Verify that no step contradicts the actual state.
|
|
revng \
|
|
abi-verify \
|
|
-abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/reference_binary.yml" \
|
|
"${RUNTIME_ABI_ANALYSIS_RESULT}"
|
|
|
|
revng \
|
|
abi-verify \
|
|
-abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/downgraded_reference_binary.yml" \
|
|
"${RUNTIME_ABI_ANALYSIS_RESULT}"
|
|
|
|
revng \
|
|
abi-verify \
|
|
-abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/upgraded_downgraded_reference_binary.yml" \
|
|
"${RUNTIME_ABI_ANALYSIS_RESULT}"
|
|
|
|
revng \
|
|
abi-verify \
|
|
-abi="${ABI_NAME}" \
|
|
"${TEMPORARY_FILES}/downgraded_upgraded_downgraded_reference_binary.yml" \
|
|
"${RUNTIME_ABI_ANALYSIS_RESULT}"
|