Nofix

No way of accessing angr core module to add constraints or define files.

4

There is no easy way to use angr core module to add constraints to symbolic memory or even add a symbolic file to the state's filesystem.

Migration fails due to `INVALID_CLIENT: Invalid redirect URI' error from spotify

3

Hi, I followed instructions from the README file, and looked at other issues asking to test changing the server port. I made my server port and redirection url port in...

`Clone` can be needed for specific types, such as `Rc` or `Arc`. You allocators are ZST, thus I think it is fine to derive Clone for them.

Added x64 function prologue

3

Adding x64 function prologues: ``` 55 push rbp 48 89 e5 mov rbp, rsp ``` ``` 55 push rbp 48 89 ec mov rsp, rbp ``` I found the first...