Absoler

some problems about Section.data()

2

Hi, I'm trying to extract assembly info from an object file, so I used ELFFile.get_section_by_name('.text') and Section.data(), like: import sys sys.path.insert(0, '.') from elftools.elf.elffile import ELFFile with open("/root/linux-master/drivers/tty/serial/earlycon.o", "rb") as...

#56 is this value should be "lib"? On my Ubuntu 20.04 only modifying this make a successful build. or it will not find libz3.a which should be in ${z3_prefix}/lib

libz3.a should be in the "${z3_prefix}/lib/" directory, Z3_LIBRARIES will not find target if it's "bin"