RRG-Proxmark3/fpga/strip_date_time_from_binary.py

import sys

# File to take a .bit file generated by xilinx webpack ISE
# and replace the date and time embedded within with 'F'.
# The header of the bitfile is seperated by ascii markers
# 'a', 'b', 'c', 'd' etc.
# see fpga_compress.c for comparison

def parse_and_split_file(filename):
    split_chars = ['a', 'b', 'c', 'd']  # Characters to split on
    extracted_data = [] # for debug

    print("Overwriting date and time in bitfile {}".format(filename))

    with open(filename, 'rb') as f:  # Read as binary to handle non-text files
        data = f.read(100)  # Read first 100 bytes which should contain all information

    decoded_data = list(data.decode(errors='ignore'))

    for i in range(len(decoded_data) - 3):
        # subsequent two bytes after marker are null and the length
        next_byte   = ord(decoded_data[i+1])
        data_length = ord(decoded_data[i+2])

        if decoded_data[i] == split_chars[0] and next_byte == 0x0:
            start = i+3
            extracted_data.append(''.join(decoded_data[start:start+data_length]))

            # time, date
            if split_chars[0] == 'c' or split_chars[0] == 'd':
                decoded_data[start:start+data_length] = 'F' * data_length

            split_chars.pop(0)

            if not split_chars:
                break

    print("Extracted data from bitfile: {}".format(extracted_data))
    decoded_data = ''.join(decoded_data).encode()

    with open(filename, 'r+b') as f:  # Write back modified bytes
        f.seek(0)
        f.write(decoded_data.ljust(100, b' '))
    print("writing complete")

if __name__ == "__main__":
    if len(sys.argv) < 2:
        print("Usage: python script.py <filename>")
        sys.exit(1)

    filename = sys.argv[1]
    parse_and_split_file(filename)