Peter Garba
Peter Garba
Hi, I also ran into this bug and when I tried to fix it I was wondering why you create trampolines for existing IAT slots ?! The problem is that...
Good to know. So far my patch is working great for LIEF so I will stay with it until your branch is finished. Thanks, Peter
Thanks for your answer. After reading the SymCC paper it's a little bit more clear to me why this test case is failing. What I still don't understand is why...
Would be it possible to have an option in SymCC to enforce exploration of all possible paths ? I'm asking as we would like to use SymCC in our tool...
Clang on Windows does support double-80 since some time now (https://reviews.llvm.org/D115441?id=393120) For bitcode compilation add "-mlong-double-80" to the command line and for clang-cl add "-Xclang -mlong-double-80". (https://github.com/pgarba/remill/commit/e7298cee430440f08b0d790ae90f98e6480a8179)
Nice catch! I will try to update the plugin ASAP
What is the last working version of XED ? Tried several version but ending up here: ``` movlpd xmm14, qword ptr [rip + 0x138948] F20240131 00:14:30.319564 77176 InstructionLifter.cpp:615] Check failed:...
Should be fixed now
I need to get the code into the right shape before I will commit it but I'm busy till end of the year with other things. So expect something at...
Hi, You can easily create it yourself. Just create a new visual studio console application and compile it as Release. I got some more code ready for UniPE that is...