crytic / crytic/tealer

Replace intc, bytec instructions with int and byte instructions

Open
#86 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
63
Forks
13
PR merge metrics
No merged PRs in 30d

Description

Teal allows declaring constants using `intcblock` which can be accessed later using `intc {constant number}` instruction. When detectors traverse the contract, they don't have access to integer value the `intc` refers to. This may result in False Positives as detectors can't reason about the values declared using `intc`. Same goes for `bytecblock` and `bytec` instructions.

Contributor guide

Open the contributing guide

Research direction

The issue does not name files or tests. Start by locating the Teal instruction handling and detector traversal for intcblock/intc and bytecblock/bytec. Done means detectors can reason about the referenced integer and byte values without the false positives described.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
devtools
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.