crytic / crytic/tealer

Infer groupsize on paths

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

Along with group index(#75 ), infer groupsize from instructions like
```
global GroupSize
int VALUE
==
```

This allows to reason if we are checking the fields of all transactions in the group using `gtxn KEY field` implying we are checking the transaction field of current contract along with others.

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.