crytic / crytic/tealer

Use single instruction for semantically equivalent but syntactically different instructions

Open
#88 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

The instructions `int NUM`, `pushint NUM` are equivalent. replacing `pushint NUM` instructions `int NUM` will reduce the overhead of checking both type of instructions for syntax based checks. There might be other instructions.

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.