Function __hex_digit

examples/hello_arm_uboot.py:46–49

(ch: int)

    password_raw = ql.mem.read(ptr1, size)

    def __hex_digit(ch: int) -> str:
        off = ord('0') if ch in range(10) else ord('a') - 10

        return chr(ch + off)

    # should be: "013f1f"
    password = "".join(__hex_digit(ch) for ch in password_raw)