slither debug/explore/query tool
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the desired feature
It'd be great to have something like `slither debug --dump [AST, HIR, IR, SSA] --view [CFG, read/write, data dependency]` and `slither query`. The role of queries would be similar to printers but geared toward ad-hoc analysis that isn't available as a printer (valuable ones can be upstreamed).
We should take ideas from infer about having an interactive HTML document where we could explore functions, cfg, nodes and their info. https://fbinfer.com/docs/man-infer-debug and https://fbinfer.com/docs/man-infer-explore
We should also look at utils offered by pyre to query different info. This doesn't need to be a full fledged DSL https://pyre-check.org/docs/querying-pyre/
Contributor guide
Assessment
This issue has not been assessed yet.