crytic / crytic/rattle

Getting errors for some common contracts

Open
#37 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
365
Forks
41
PR merge metrics
No merged PRs in 30d

Description

### Context
I pulled the latest code from the master branch
My python version is 3.10
MacOS 13.6 (in case if it is related)

Bytecodes (deployed bytecodes) from these contracts:

1. https://etherscan.io/token/0xbc4ca0eda7647a8ab7c2061c2e118a18a936f13d#code
2. https://etherscan.io/address/0x0d4a11d5eeaac28ec3f61d100daf4d40471f1852#code

### Issue
The issue is:

```bash
Traceback (most recent call last):
File "/Users/a/w/a/e/rattle/rattle/rattle-cli.py", line 7, in
main()
File "/Users/a/w/a/e/rattle/rattle/rattle/main.py", line 55, in main
ssa = rattle.Recover(args.input.read(), edges=edges, optimize=args.optimize,
File "/Users/a/w/a/e/rattle/rattle/rattle/recover.py", line 751, in __init__
self.internal = InternalRecover(filedata, edges, optimize, split_functions)
File "/Users/a/w/a/e/rattle/rattle/rattle/recover.py", line 30, in __init__
self.recover(dispatch)
File "/Users/a/w/a/e/rattle/rattle/rattle/recover.py", line 93, in recover
self.identify_blocks(function)
File "/Users/a/w/a/e/rattle/rattle/rattle/recover.py", line 202, in identify_blocks
block.set_fallthrough_target(terminator.offset + terminator.insn.size)
File "/Users/a/w/a/e/rattle/rattle/rattle/ssa.py", line 513, in set_fallthrough_target
target_block: SSABasicBlock = self.function.blockmap[other]
KeyError: 11241
```

Seems like it is the same issue with https://github.com/crytic/rattle/issues/21

### Request
Can the team please take time look into this? Thanks

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.