Skip to content

Issues: crytic/tealer

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

38 Open 17 Closed
38 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

tealer detect with --exclude flag fails
#201 opened Dec 11, 2023 by aorumbayev
1
Code quality/project standards alignment
#183 opened Sep 19, 2023 by woodruffw
7 tasks
Initial design for support of group-transactions analysis
#165 opened Mar 29, 2023 by S3v3ru5
3
Fix execution paths generated by group-size detector
#160 opened Feb 22, 2023 by S3v3ru5
1
Have a uniform output directory and filenames
#159 opened Feb 22, 2023 by S3v3ru5
Have proper tests related to "usage"
#157 opened Feb 21, 2023 by S3v3ru5
Add printer to list methods, ids and it's args of ARC-4 application.
#148 opened Jan 30, 2023 by S3v3ru5
Detect contracts lacking validations on asset id field of asset transfer transaction
#147 opened Jan 30, 2023 by S3v3ru5
Add printer to output possible values of transaction fields in json
#141 opened Jan 26, 2023 by S3v3ru5
Add issue template
#140 opened Jan 26, 2023 by montyly
Add CODEOWNERS
#139 opened Jan 26, 2023 by montyly
Recover method // push 4 bytes
#133 opened Jan 18, 2023 by montyly
1
Add support for instruction "aliases"
#119 opened Dec 19, 2022 by S3v3ru5
Update linter + CI
#115 opened Dec 12, 2022 by montyly
Detect paths missing ClearState transaction check
#108 opened Dec 6, 2022 by S3v3ru5
Detect call to inner transaction without a fixed fee
#105 opened Nov 18, 2022 by montyly
Update output format to reduce the number of output files
#101 opened Oct 13, 2022 by S3v3ru5
Use data flow analysis to find constraints on transaction fields in a contract
#96 opened Sep 14, 2022 by S3v3ru5
1
Code Patterns of False Positives for Transaction Field based detectors
#95 opened Aug 17, 2022 by S3v3ru5
Check if the condition for pruning is part of a larger boolean expression
#90 opened Aug 17, 2022 by S3v3ru5
Use single instruction for semantically equivalent but syntactically different instructions
#88 opened Aug 17, 2022 by S3v3ru5
Infer groupsize on paths
#87 opened Aug 16, 2022 by S3v3ru5
Replace intc, bytec instructions with int and byte instructions
#86 opened Aug 16, 2022 by S3v3ru5
Creation of a regex system to allow querying Tealer’s API and internal information
#84 opened Jul 29, 2022 by montyly
3 tasks
Improve support for groups of transactions
#83 opened Jul 29, 2022 by montyly
5 tasks
ProTip! Exclude everything labeled bug with -label:bug.