Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more

Questions tagged [maat]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
56 views

Maat: Sleigh raised a bad data exception: r0x00000002: Unable to resolve constructor

I'm running the maat symbolic executor on my Linux instance 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, ...
Patrick Collins's user avatar
1 vote
1 answer
12 views

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

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, ...
Patrick Collins's user avatar