Ta Thanh Dinh
Ta Thanh Dinh
Hello everyone, When lifting some atomic instructions, e.g. `lock inc byte ptr [rax]`: ``` remill-lift-12 --arch amd64 --name_register_variables --bc-out test.bc --bytes F0FE00 ``` I've got the following result: ```llvm ;...
In lifting some instructions which read/write memory, e.g. `mov rax, [rcx]`: ``` define dso_local %struct.Memory* @sub_0(%struct.State* noalias nonnull align 1 %state, i64 %pc, %struct.Memory* noalias %memory) local_unnamed_addr #0 { %RCX_ptr...
The issue is reserved for the update of segment shadow register, it relates to #288, #332, #325 (a preparing commit is #328). The problem is that whenever a segment register...
Hello all, Currently, X87 maths instructions, e.g. `cos` is lifted using function: https://github.com/trailofbits/remill/blob/fe542423296ca99ceb4095232ea3d8ffb8b8b510/remill/Arch/X86/Semantics/X87.cpp#L234-L244 where `FCos64`: https://github.com/trailofbits/remill/blob/fe542423296ca99ceb4095232ea3d8ffb8b8b510/remill/Arch/X86/Semantics/X87.cpp#L212-L217 But the built-in function `__builtin_cos` (without any special compiling option) has side-effect: it sets...
Hello This PR is for early review only (my purpose is to support far call/ret in both 64-bit/compat modes). E.g. ```asm 9a 50 04 00 00 33 00 call far...
Given instructions: ```assembly 36 8b 18 mov ebx, ss:[eax] ``` and ```assembly 2e 8b 18 mov ebx, cs:[eax] ``` remill lifts to the same function: ```LLVM define dso_local %struct.Memory* @sub_0(%struct.State*...
Hello all, The Intel's document (vol1. sec 8.1.9) says that the FOP recording happens with x87 non-control instruction only but ` fnop` is a control instruction (sec 8.3.11), so I...
Hello all, I'am studying how remill [lifts](https://github.com/trailofbits/remill/blob/master/remill/Arch/X86/Semantics/SSE.cpp#L1928) the `stmxcsr` instruction, but there are some details that I still do not understand. ``` DEF_SEM(STMXCSR, M32W dst) { auto &csr = state.x87.fxsave.mxcsr;...
Hello all, When lifting a jmp far instruction, e.g. ``` ea 5f b9 15 77 33 00 jmp far 0x33:0x7715b95f ``` remill will crash at [instruction decoding](https://github.com/trailofbits/remill/blob/master/remill/Arch/X86/Arch.cpp#L718) because it rejects...