Jun Xu
Jun Xu
Hi, The current version of retrowrite may not properly handle aliased symbols. An object, such as a function, can have multiple aliased symbols. However, the loading process at https://github.com/HexHive/retrowrite/blob/master/librw/loader.py#L124 just...
Please consider changing the code at https://github.com/HexHive/retrowrite/blob/master/librw/loader.py#L196 The statement here will change the name of global symbols to "original_name_address". For instance, this will change "symbol1" (whose address is 0x90) to...
We were using snowman on a following program. The main function was not correctly handled when decompiling the whole program. We also tried to only de-compile the address range for...
The standard accept function will fill the "addr struct" (passed as argument) with the address of the peer socket. This is not done by the "accept" in desock.c. Some applications...
## Description Eq/Neq operation on values consumes them by making copies. On vector and struct, copy is expensive and slows down the execution. We insert references before vector/struct values to...
## Description Enable compiler v2 to allow utf-8 characters in comments of move code. The original implementation, via [`verify_string`](https://github.com/aptos-labs/aptos-core/blob/jun/support-utf8-comment/third_party/move/move-compiler-v2/legacy-move-compiler/src/parser/comments.rs#L18), scans the source code before parsing to make sure every character...
Compiler (tested on V2) will optimize ``` public fun eq1(): bool { 1 == 1 } ``` to ``` public fun eq1(): bool { true } ``` However, it compiles...
## Description When reversing file format bytecode to stackless bytecode, the generator puts the arguments of `move_to` in wrong order. Specifically, the order should be `(addr, value)` while it was...
## Description This PR adds test cases for the newly introduced Common Subexpression Elimination (CSE) optimization. It consists of two groups of tests - optimized: test cases that are expected...
## Description This PR implements the "common subexpression elimination" (CSE) transformation. This is the second PR on the stack to introduce CSE optimizations to Move. Motivating Example: ```Move 1. fun...