mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
5d582a2eec
Rework how the cache folder for debug information is handled. This commit introduces an additional environment variable, `REVNG_CACHE_DIR` that allows overriding where semi-disposable files will be stored.
65 lines
2.1 KiB
Python
65 lines
2.1 KiB
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
from pathlib import PureWindowsPath
|
|
|
|
import pefile
|
|
|
|
from revng.cli.support import log_error
|
|
|
|
from .common import cache_directory, download_file, log
|
|
|
|
|
|
def fetch_pdb(file: pefile, file_path, urls):
|
|
log("Fetching Debugging Information for a PE/COFF")
|
|
|
|
# Parse the file.
|
|
try:
|
|
pe = pefile.PE(file_path)
|
|
except Exception as exception:
|
|
log_error("Unable to parse the input file.")
|
|
log_error(str(exception))
|
|
return None
|
|
|
|
# Ensure that we have created `$cache_directory/debug-symbols/pe` directory.
|
|
path_to_revng_pe_debug_data = cache_directory() / "debug-symbols" / "pe"
|
|
path_to_revng_pe_debug_data.mkdir(parents=True, exist_ok=True)
|
|
|
|
for e in pe.DIRECTORY_ENTRY_DEBUG:
|
|
if isinstance(e.entry, pefile.Structure):
|
|
pdb_file_name_raw = e.entry.PdbFileName.decode("utf-8").replace("\x00", "")
|
|
pdb_file_name = PureWindowsPath(pdb_file_name_raw).name
|
|
|
|
# Parse the hash that identifies the PDB file.
|
|
def pdb_id_helper(data):
|
|
return hex(data)[2:]
|
|
|
|
pdb_id = (
|
|
pdb_id_helper(e.entry.Signature_Data1)
|
|
+ pdb_id_helper(e.entry.Signature_Data2)
|
|
+ pdb_id_helper(e.entry.Signature_Data3)
|
|
+ e.entry.Signature_Data4.hex()
|
|
+ pdb_id_helper(e.entry.Age)
|
|
)
|
|
|
|
log("PDBID: " + pdb_id)
|
|
|
|
path_to_download = path_to_revng_pe_debug_data / pdb_id
|
|
path_to_download.mkdir(exist_ok=True)
|
|
|
|
pdb_file_to_download = path_to_download / pdb_file_name
|
|
if pdb_file_to_download.exists():
|
|
log("Already downloaded debug file from web")
|
|
return pdb_file_to_download
|
|
|
|
for symbol_server_url in urls:
|
|
pdb_url = symbol_server_url + pdb_file_name + "/" + pdb_id + "/" + pdb_file_name
|
|
log("Trying to download PDB from URL: " + pdb_url)
|
|
if download_file(pdb_url, str(pdb_file_to_download)):
|
|
return pdb_file_to_download
|
|
|
|
break
|
|
|
|
return None
|