search

angr / angr-targets

This repository contains the currently implemented angr concrete targets.
32 stars 9 forks source link

dynamically loaded library problem #13

Closed XMUsuny closed 3 years ago

XMUsuny commented 3 years ago

Hi, I'm interested in the novel method symbion and have tested the demo. I want to use angr's symbolic execution to test a dynamic library (used by a tcp server), so I use symbion to synchronize the state after the server is initialized and dynamically load the library in the project (also add new memory backer). However, I find after synchronizion angr can not continue the execute the code in the address space of the library, showing "bytes can only be stored big-endian". Could you give me some suggestions? Thank you.

bspdev commented 3 years ago

Why is this issue closed? I have the same issue with Symbion. @XMUsuny did you fix your problem?

Thanks

SteinsGatep001 commented 2 years ago

I have the same problem.