crytic/tealer

View on GitHub

Static Analyzer for Teal

Stars: 63
Forks: 13
Open beginner issues: 0
Indexed issues: 38

Dominant language: Python
License: AGPL-3.0
Last GitHub push: Feb 8, 2024
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

38 open issues indexed

Next release checklist Open

crytic/tealer#3 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve parsing Open

crytic/tealer#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Question regarding "Lack of OnCompletion check allows to delete the app" Open

crytic/tealer#13 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Execution Path Cost Analysis Feature Suggestion Open

new analyses

crytic/tealer#48 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Execution path redundancy highlighting Open

new analyses

crytic/tealer#52 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
rekeyTo check missing checks at beginning of code Open

crytic/tealer#53 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Tealer error in check_rekey_to Open

crytic/tealer#64 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve False Positives Open

crytic/tealer#65 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer group index on paths Open

new analyses

crytic/tealer#75 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for TEALv6 opcodes Open

crytic/tealer#78 · 1 comment · 3 reactions · 0 assignees · Indexed Sep 15, 2026
Create benchmark of real-world attacks and large codebases Open

crytic/tealer#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create source code mapping Open

crytic/tealer#81 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve support of stateful and stateless contracts Open

crytic/tealer#82 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve support for groups of transactions Open

crytic/tealer#83 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Creation of a regex system to allow querying Tealer’s API and internal information Open

crytic/tealer#84 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Replace intc, bytec instructions with int and byte instructions Open

crytic/tealer#86 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer groupsize on paths Open

crytic/tealer#87 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use single instruction for semantically equivalent but syntactically different instructions Open

crytic/tealer#88 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Check if the condition for pruning is part of a larger boolean expression Open

crytic/tealer#90 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code Patterns of False Positives for Transaction Field based detectors Open

crytic/tealer#95 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use data flow analysis to find constraints on transaction fields in a contract Open

crytic/tealer#96 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update output format to reduce the number of output files Open

crytic/tealer#101 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect call to inner transaction without a fixed fee Open

crytic/tealer#105 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect paths missing ClearState transaction check Open

crytic/tealer#108 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update linter + CI Open

crytic/tealer#115 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for instruction "aliases" Open

crytic/tealer#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Recover method // push 4 bytes Open

crytic/tealer#133 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add CODEOWNERS Open

crytic/tealer#139 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add issue template Open

crytic/tealer#140 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add printer to output possible values of transaction fields in json Open

crytic/tealer#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect contracts lacking validations on asset id field of asset transfer transaction Open

crytic/tealer#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add printer to list methods, ids and it's args of ARC-4 application. Open

crytic/tealer#148 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Have proper tests related to "usage" Open

crytic/tealer#157 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Have a uniform output directory and filenames Open

crytic/tealer#159 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fix execution paths generated by group-size detector Open

crytic/tealer#160 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Initial design for support of group-transactions analysis Open

crytic/tealer#165 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code quality/project standards alignment Open

crytic/tealer#183 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
tealer detect with --exclude flag fails Open

crytic/tealer#201 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026

crytic/tealer

Get new issues in your inbox