crytic / crytic/slither

[Bug]: all statements with `.` are reported as external calls

Open
#2,073 1 comment 0 reactions 0 assignees View on GitHub
bug good first issue
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

### Describe the issue:

I ran `slither . --print function-summary` to view external calls for functions. The resulting "External Calls" column treats any statement with a `.` as an external call. This includes solidity built-ins like `abi.encode`, library accesses like `Address.sendValue`, and struct field accesses.

### Code example to reproduce the issue:

```bash
git clone https://github.com/scopelift/pooltogether-governor-upgrade/
cd pooltogether-governor-upgrade
forge install
slither . --print function-summary
```

### Version:

0.9.6

### Relevant log output:

_No response_

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.