Support for 64-bit binaries

[kumarak]

I have added change logs for 64-bit support in Changelist-64bit.txt. It will be nice to get feedback on current changes.

Thanks
--Akshay

[artemdinaburg]

This is amazing. Was just trying it out on Linux and almost everything works. Super exciting to see mcsema handling 64-bit instructions.

I tested on Linux, and here's some small issues I've found so far:

• The demo14 and demo15 tests are no longer valid, since there is no more __fastcall or __stdcall on x86-64. Since these no longer serve a purpose, its best to just get rid of them.
• Using IDA:
  • demo_maze and linked_elf_test both segfault, probably due to the same core issue.
  • demo7 gives incorrect results
• Using bin_descend:
  • demo7 gives incorrect results
  • demo10 does not include lines with 0xBB
  • demo11 does not include lines with 0xBB

I'm going to set up a Windows build environment and test there to see what works and what doesn't. We can merge in once all the tests pass on Linux and add a guard against running 64-bit on Windows binaries, but I think its really important to keep Windows support in the long term.

[kumarak]

Hi Artem, Thanks for reporting the issue. I resolved Linux related issues and now test cases works with both bin_descend and IDA. The windows support is in progress and I will let you know once all the test cases will pass successfully.