Improve alias analysis API
Open
0.7
enhancement
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
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 (https://github.com/crytic/slither/issues/462)
Contributor guide
Assessment
This issue has not been assessed yet.