I'm running the maat symbolic executor on my MacOS with the following code.
Command I ran to get my binary code:
gcc myFile.c -o myFile.out
Maat python code:
from maat import MaatEngine, ARCH, OS, BIN
m = MaatEngine(ARCH.X64, OS.LINUX)
m.load("./myFile.out", BIN.ELF64, args=[b"hello"], load_interp=False)
m.run()
However, running this is getting me the following error:
RuntimeError: LoaderLIEF::parse_binary(): Couldn't parse file './myFile.out'
What's going on?