Replace intc, bytec instructions with int and byte instructions
Open
- 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
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