crytic / crytic/slither

false positive on uninitialized local variables for fixed length arrays

Open
#884 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

i see "is a local variable never initialized" for a fixed length array, for example:

```
address[8] memory foo;
```

even if i loop over `foo` like:

```
address[8] memory foo;
for (uint256 i_ = 0; i_<8;i_++) {
foo[i_] = address(0);
}
```

slither still says it is never initialized.

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.