mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
45 lines
1.4 KiB
Bash
Executable File
45 lines
1.4 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
printf "Name\\n"
|
|
|
|
(
|
|
for FILE in "$@"; do
|
|
(
|
|
if [[ "${FILE}" =~ ^.+\.bc$ ]]; then
|
|
cat "${FILE}"
|
|
|
|
elif [[ "${FILE}" =~ ^.+\.ll$ ]]; then
|
|
llvm-as "${FILE}" -o -
|
|
|
|
else
|
|
echo "\"${FILE}\" does not have a supported llvm-module extension. Is it even a module?" 1>&2
|
|
exit 1
|
|
fi
|
|
) |
|
|
|
|
# TODO: remove `--defined-only` to pick up all the symbols instead of just
|
|
# the symbol the helper modules explicitly contain.
|
|
#
|
|
# As of now, this is necessary because otherwise all the standard C library
|
|
# functions helper binaries (both our and external) use populate the helper
|
|
# namespace, leading to a heavy decrease in quality of decompiled binaries
|
|
# that use c standard library (names like `malloc` and `free` (and so on)
|
|
# are no longer allowed, no matter whether they are linked statically or
|
|
# dynamically.
|
|
#
|
|
# Once everything within helper binaries is prefixed, this limitation is no
|
|
# more and all the helper symbol names should be banned.
|
|
#
|
|
# The only downside of not doing so now is that *if* a helper using
|
|
# a standard function call gets inlined, it is now calling a non-reserved
|
|
# name, which might have a different meaning assigned to it by the model.
|
|
llvm-nm - --defined-only --format=just-symbols
|
|
done
|
|
) | sort -u
|