search

angr / angr-doc

Documentation for the angr suite
https://docs.angr.io/
BSD 2-Clause "Simplified" License
837 stars 378 forks source link

cast_to only support bytes and int #409

Closed 13579and2468 closed 2 years ago

13579and2468 commented 2 years ago

reference : https://docs.angr.io/core-concepts/solver

cast_to can be passed a data type to cast the result to. Currently, this can only be int and bytes, which will cause the method to return the corresponding representation of the underlying data.
rhelmot commented 2 years ago

This was a remnant of the python 2 version of angr, where you could in fact cast to str. Thanks!