Issues

• tealer detect with --exclude flag fails

  crytic/tealer#201 · Filter by author aorumbayev opened on Dec 11, 2023
  1

• Code quality/project standards alignment

  crytic/tealer#183 · Filter by author woodruffw opened on Sep 19, 2023

• Initial design for support of group-transactions analysis

  crytic/tealer#165 · Filter by author S3v3ru5 opened on Mar 29, 2023
  3

• Fix execution paths generated by group-size detector

  crytic/tealer#160 · Filter by author S3v3ru5 opened on Feb 22, 2023
  1

• Have a uniform output directory and filenames

  crytic/tealer#159 · Filter by author S3v3ru5 opened on Feb 22, 2023

• Have proper tests related to "usage"

  crytic/tealer#157 · Filter by author S3v3ru5 opened on Feb 21, 2023

• Add printer to list methods, ids and it's args of ARC-4 application.

  crytic/tealer#148 · Filter by author S3v3ru5 opened on Jan 30, 2023

• Detect contracts lacking validations on asset id field of asset transfer transaction

  crytic/tealer#147 · Filter by author S3v3ru5 opened on Jan 30, 2023

• Add printer to output possible values of transaction fields in json

  crytic/tealer#141 · Filter by author S3v3ru5 opened on Jan 26, 2023

• Add issue template

  crytic/tealer#140 · Filter by author montyly opened on Jan 26, 2023

• Add CODEOWNERS

  crytic/tealer#139 · Filter by author montyly opened on Jan 26, 2023

• Recover method // push 4 bytes

  crytic/tealer#133 · Filter by author montyly opened on Jan 18, 2023
  1

• Add support for instruction "aliases"

  crytic/tealer#119 · Filter by author S3v3ru5 opened on Dec 19, 2022

• Update linter + CI

  crytic/tealer#115 · Filter by author montyly opened on Dec 12, 2022

• Detect paths missing ClearState transaction check

  crytic/tealer#108 · Filter by author S3v3ru5 opened on Dec 6, 2022

• Detect call to inner transaction without a fixed fee

  crytic/tealer#105 · Filter by author montyly opened on Nov 18, 2022

• Update output format to reduce the number of output files

  crytic/tealer#101 · Filter by author S3v3ru5 opened on Oct 13, 2022

• Use data flow analysis to find constraints on transaction fields in a contract

  crytic/tealer#96 · Filter by author S3v3ru5 opened on Sep 14, 2022
  1

• Code Patterns of False Positives for Transaction Field based detectors

  crytic/tealer#95 · Filter by author S3v3ru5 opened on Aug 17, 2022

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

  crytic/tealer#90 · Filter by author S3v3ru5 opened on Aug 17, 2022

• Use single instruction for semantically equivalent but syntactically different instructions

  crytic/tealer#88 · Filter by author S3v3ru5 opened on Aug 17, 2022

• Infer groupsize on paths

  crytic/tealer#87 · Filter by author S3v3ru5 opened on Aug 16, 2022

• Replace intc, bytec instructions with int and byte instructions

  crytic/tealer#86 · Filter by author S3v3ru5 opened on Aug 16, 2022

• Creation of a regex system to allow querying Tealer’s API and internal information

  crytic/tealer#84 · Filter by author montyly opened on Jul 29, 2022

• Improve support for groups of transactions

  crytic/tealer#83 · Filter by author montyly opened on Jul 29, 2022