jakstab
jakstab copied to clipboard
jkinder
Error While running Jakstab on simple hello world program compiled in Ubuntu 16.04 machine
Exception in thread "main" java.lang.AssertionError
at org.jakstab.loader.elf.ELFModule.
I encountered the same problem. From my brief study of the code throwing the exception, it seems like the problem occurs because Jakstab assumes that the ELF binary must have a .dynamic and .plt section. However, not all ELF binaries have these section.
this issue is closed without providing any solution for the given problem!!!
I have faced the same problem and I compiled a very tiny and simple c code file in Ubuntu using multiple ways but I always got the same error:
I tried to extract CFG for executable file, shared file, and object file ... but none of them worked
@tpetersonkth seems to have pinpointed the issue in his comment above. You can try fixing it following the lead in his comment.
@1Husin-Alhaj The version of Jakstab I used is available here: https://github.com/tpetersonkth/AlternatingControlFlowReconstruction/ in the Jakstab folder. This version is not much different from Kinder's version except that it adds under-approximation possibilities through extra command line options. I think the only fixes I did for this issue was to comment out some code in the ELFModule file. I am pretty sure that I did not do a proper fix though, that's why I didn't try to patch the official project. The changes made it work for binaries which didn't contain the missing sections mentioned in the error message.
You can try to see my changes in the ELFModule file or you can try to run the modified jakstab version I linked on your binaries directly. I think it should work.
