crytic / crytic/tealer

Check if the condition for pruning is part of a larger boolean expression

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

While checking mutually exclusive conditions which are used for pruning, only basic conditions are considered.
e.g
patterns such as following are considered
```
txn OnCompletion
int 1
==
bnz
```
however, patterns where condition is part of larger expression are not considered
```
txn OnCompletion
int 1
==
txna ApplicationArgs 0
byte 0x65
==
&&
bnz label
```
Boolean expression which are simple chain of `&&` could be implemented with present capabilities of tealer. However, generalizing this requires more analysis.

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.