Open
Description
Currently the inbuilt storage alias analysis does not have a clean or documented API, and is missing some features.
We need to:
- Improve the doc and API
- Have some context sensitivity information (at least in the context of a function versus context of all functions)
- Provide the information at the non-ssa level
I am not sure that we will have the time to integrate it into 0.7, but we can consider it (#462)