def METHOD_NAME(addresses, executable):
    symbol_table = {}
    if sys.platform == 'darwin':
        p = subprocess.Popen(['atos', '-o', executable], stdin=subprocess.PIPE, stdout=subprocess.PIPE)
    else:
        p = subprocess.Popen(['addr2line', '-e', executable], stdin=subprocess.PIPE, stdout=subprocess.PIPE)
    str = ''
    for s in addresses:
        str += "0x%x\n" % s
    stdout, stderr = p.communicate(str.encode())
    text_symbols = stdout.decode().split('\n')
    symbol_table = {}
    for i,s in enumerate(addresses):
        symbol_table[s] = text_symbols[i]
    return symbol_table