crytic / crytic/slither

slither debug/explore/query tool

Open
#2,106 0 comments 0 reactions 0 assignees View on GitHub
enhancement
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.