ESIL emulation failed when hit reloc functions

[Heersin]

Work environment

Questions	Answers
OS/arch/bits (mandatory)	Linux
File format of the file you reverse (mandatory)	ELF
Architecture/bits of the file (mandatory)	x86/64 etc.
rizin -v full output, not truncated (mandatory)	rizin 0.2.0-git @ linux-x86-64, package: 0.2.0.1 (ret2libc) commit: c875be9, build: 2021-01-26__18:17:13

Expected behavior

emulate the strlen

Actual behavior

get stuck

Steps to reproduce the behavior

0. Download the binary in the additional section below.
1. open it with rizin : rizin count_len
2. seek and analysis : s main, aa
3. init the VM : aei aeim ...
4. enter Visual Mode V and emulate with s

Additional Logs, screenshots, source code, configuration dump, ...

1. the source

#include <string.h>

int main() {
    char *test = "hello world";
    int len = strlen(test);
    return 0;
}

count_len.bin.tar.gz

2. trace

• main function
  

• call sym.imp.strlen
  

• then finally get lost
  

[XVilka]

Blocked until ESIL->RzIL conversion is complete #2080