crytic / crytic/slither

[Bug]: Impossible to generate IR: 'list' object has no attribute 'type'

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

Description

### Describe the issue:

A bit of a rare case, but...

### Code example to reproduce the issue:

```solidity
library Constants {
uint8 constant value = [[1, 2], [3, 4]][0][0];
}
```

### Version:

0.9.1

### Relevant log output:

```shell
Impossible to generate IR for ConstantExpressions.slitherConstructorConstantVariables:
'list' object has no attribute 'type'
```

Contributor guide

Open the contributing guide

Research direction

Start by reproducing the Solidity example from the report and tracing IR generation for ConstantExpressions.slitherConstructorConstantVariables. The report names no source file or test; done means the example no longer fails with 'list' object has no attribute 'type' and IR generation succeeds.

Written by the indexing model from the issue text.

Assessment

Tech stack
python, solidity
Domain
compilers, security
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.