crytic / crytic/slither

[Bug-Candidate]: slither fails to generate IR for literals array assignments.

Open
#2,644 0 comments 0 reactions 0 assignees View on GitHub
bug-candidate
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

### Describe the issue:

Tests were conducted using solc versions 0.8.27 and 0.8.28, and both failed to generate IR. The bug persists in the latest release. Code:

```solidity
contract Test {
function test() public {
[hex""][0] = hex"30";
}
}
```

Run slither: `slither a.sol`

Output:

```
ERROR:SlitherSolcParsing:
Failed to generate IR for Test.test. Please open an issue https://github.com/crytic/slither/issues.
Test.test (a.sol#3-5):
()[0] = 0
Traceback (most recent call last):
...
```

### Code example to reproduce the issue:

```solidity
contract Test {
function test() public {
[hex""][0] = hex"30";
}
}
```

### Version:

0.11.0

### Relevant log output:

```shell

```

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.