search

lifting-bits / mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
https://www.trailofbits.com/expertise/mcsema
GNU Affero General Public License v3.0
2.66k stars 343 forks source link

mcsema-disass error with option 'recover-stack-vars' #584

Open leepeter2019 opened 5 years ago

leepeter2019 commented 5 years ago

I tested mcsema.disass.exe on simple linux binary : Juliet database (Juliet Test Suite for C/C++) https://samate.nist.gov/SARD/testsuite.php It worked when I gave no 'recover-stack-vars' option. but when i gave 'recover-stack-vars' option, mcsema-disass.exe does not provide any result at all for long time. even though more than 2 hours, it still work on it for simple binary such as 'hello world'

i test as below, c:\mcsema\Scripts\mcsema-disass.exe --arch x86 --os linux --disassembler c:\IDA6.8\idaw64.exe --binary c:\test\CWE457_x86 --entrypoint main --output c:\test\CWE_rec.cfg --recover-stack-vars

when I run mcsema-disass.exe --help, it doesnot provide 'recover-stack-vars' option manual. Does 'recover-stact-vars' option still work? Or what should I have to check?

pgoodman commented 5 years ago

Can you upload your specific binary?

leepeter2019 commented 5 years ago

i upload the binary file in 'https://github.com/leepeter2019/test' its name is CWE457_x86 Thanks for cooperation.