John Källén
John Källén
Although IEEE 754 is the dominant floating point standard today, that has not always been the case. The VAX, zSeries, and MIL-STD-1750A architectures all define different formats. To handle this...
The Microsoft C compiler, among others, implements divisions by constant integers _C_ (where _C_ is not an integral power of 2) as described in the paper [Division by Invariant Integers...
Reko has a console window that does nothing, This would be a great place to implement a scripting language to allow repetitive tasks to be carried out without using UI...
Today Reko has no knowledge of the win16 API. It needs a metadata file to support friendly names for the Windows API calls the subject program is making
Reko's type inference is having an indigestion on SSE packed vector types (e.g. @rfalke 's https://github.com/rfalke/decompiler-subjects/tree/master/from_holdec/nim/x64_elf/subject.exe in #959) The type inference engine is making an assumptions that array expressions are...
Attempting to decompile Risc-V binaries (see #958) with compiled switch statements results in warnings because the scanner isn't handling the Risc-V switch statements that look like this: ``` c.li a5,00000012...
As part of implementing support for the X86 `adox` instruction I discovered that the logical instructions need to be rewritten to model the processor more accurately. For example, the `and...
The following is the result of running Reko on `subjects/Elf/Sparc/rtems`: ```// 000116B0: Register Eq_n xrealloc(Register Eq_n o0, Register Eq_n o1, Register out Eq_n i1Out, Register out ptr32 i2Out) // Called...
The Reko regression suite has a binary `subjects\Elf\ARM\angr-685\RTOSDemo`, with an implementation of `memcpy`. In the beginning of the disassembled ARM procedure, it saves the `lr` register on the stack: ```...
In the disassembly window, calls or jumps to import stub should be presented in a better way Rather than `call [ds:00402008]` we should see `call [__GetProcAddressA__imp]`