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)

However, running this is getting me the following error:

RuntimeError: LoaderLIEF::parse_binary(): Couldn't parse file './myFile.out'

What's going on?

1 Answer 1


OS.LINUX won't work on a macOS. You'll have to run your code on a linux machine.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.