blob: ec85166ad6b73539e08b4a2f4a0d077d88e642cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
import os
import csv
DATA_SYMBOLS = os.path.join(os.path.dirname(__file__), '../data/data_symbols.csv')
if __name__ == "__main__":
addr2symbol = {}
with open(DATA_SYMBOLS, "r", encoding="utf-8") as f:
reader = csv.reader(f)
# doesn't come with header
for row in reader:
if not row: # skip empty
continue
addr = int(row[0].strip(), 16)
name = ""
if len(row) > 1:
name = row[1].strip()
addr2symbol[addr] = name
with open(DATA_SYMBOLS, "w", encoding="utf-8") as f:
writer = csv.writer(f, lineterminator="\n")
for hex in sorted(addr2symbol):
writer.writerow([f"0x{hex:016X}", addr2symbol[hex]])
print("data_symbols.csv updated")
|
