RocketDev

What about searching `'int'`? Please upload some reproducible samples.

It seems that I have insufficient memory. I tried it, but soon the whole system stopped, then python is killed. I'm afraid my 16-gig laptop is not eligible to run...

Please let me know your angr version when publishing new pickles so that I could load them correctly. :heart:

I borrowed a server with 118G of RAM from my friend and rerun the script. I could load my pickles with angr 9.2.118 and python 3.12.6, I'll keep these pickles...

``` paths for _IO_cookie_seekoff: _IO_cookie_seekoff _IO_new_file_seekoff _IO_new_file_seekoff + 51 _IO_new_file_seekoff + 232 _IO_new_file_seekoff + 241 _IO_new_file_seekoff + 269 _IO_new_file_seekoff + 118 _IO_new_file_seekoff + 128 _IO_new_file_seekoff + 138 _IO_new_file_seekoff + 177...

I searched out source code of `_IO_switch_to_wget_mode`: ```c int _IO_switch_to_wget_mode (FILE *fp) { if (fp->_wide_data->_IO_write_ptr > fp->_wide_data->_IO_write_base) if ((wint_t)_IO_WOVERFLOW (fp, WEOF) == WEOF) return EOF; if (_IO_in_backup (fp)) fp->_wide_data->_IO_read_base =...

Oh I see. In case someone use pwntools in library mode right? Should I just write `from pwnlib.file.filepointer import *` in the proxy file?

Since I work on an old branch, should I update my branch with rebase when I'm done and write down the changelog?

How to meet the doctest requirement both in Python 2 and Python 3? `bytes`'s repr behavior is different between 2 versions...

So do you mean that I should replace `[0] * maxlen` with `bytearray(maxlen)`?