Add an API for accessing region info in block addr format (#3334)
Add an API for accessing region info in block addr format (#3334)

* Add an API for accessing region info in block addr format

* Clarify function comments
angr/angr,angr/angr,angr/angr