Improve False Positives
Open
- Dominant language
- Python
- Stars
- 63
- Forks
- 13
- PR merge metrics
- No merged PRs in 30d
Description
In the limitted analysis that I have done it seems like the tool does not recognise the following rekey check, leading to false positives:
```
txn GroupIndex
int 3
==
assert
gtxn 3 RekeyTo
global ZeroAddress
==
assert
```
which is the equivalent of
```
txn RekeyTo
global ZeroAddress
==
assert
```
This may also extend to other checks.
Contributor guide
Assessment
This issue has not been assessed yet.