crytic / crytic/slither

Add YUL info

Open
#444 1 comment 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

The minimal info needed:
- If a local/state variable is used
- If there are external calls
- If a [solidity variable](https://github.com/crytic/slither/blob/6420a19c22a08781a7021b522b5e281634daeacc/slither/core/declarations/solidity_variables.py) is used

Semantic info (ex: data dependency) would be great, but we can start by parsing the yul AST present in an asm inline block, and match the variables/calls used with their Slither's objects.

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.