crytic/tealer

Issues

• update installation instructions

  #198 opened a year ago by 0xalpharush
  0

• pypi package availability

  #200 opened a year ago by aorumbayev
  2

• tealer detect with --exclude flag fails

  #201 opened a year ago by aorumbayev
  1

• Code quality/project standards alignment

  #183 opened a year ago by woodruffw
  0

• Initial design for support of group-transactions analysis

  #165 opened 2 years ago by S3v3ru5
  3

• Create source code mapping

  #81 opened 2 years ago by montyly
  1

• Fix execution paths generated by group-size detector

  #160 opened 2 years ago by S3v3ru5
  1

• Have a uniform output directory and filenames

  #159 opened 2 years ago by S3v3ru5
  0

• Have proper tests related to "usage"

  #157 opened 2 years ago by S3v3ru5
  0

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

  #148 opened 2 years ago by S3v3ru5
  0

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

  #147 opened 2 years ago by S3v3ru5
  0

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

  #141 opened 2 years ago by S3v3ru5
  0

• Add issue template

  #140 opened 2 years ago by montyly
  0

• Add CODEOWNERS

  #139 opened 2 years ago by montyly
  0

• Recover method // push 4 bytes

  #133 opened 2 years ago by montyly
  1

• Add support for instruction "aliases"

  #119 opened 2 years ago by S3v3ru5
  0

• Update linter + CI

  #115 opened 2 years ago by montyly
  0

• Detect paths missing ClearState transaction check

  #108 opened 2 years ago by S3v3ru5
  0

• Detect call to inner transaction without a fixed fee

  #105 opened 2 years ago by montyly
  0

• Update output format to reduce the number of output files

  #101 opened 2 years ago by S3v3ru5
  0

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

  #96 opened 2 years ago by S3v3ru5
  1

• Use assert conditions for pruning

  #89 opened 2 years ago by S3v3ru5
  1

• Use integer values along with names for Named Integer Constants

  #85 opened 2 years ago by S3v3ru5
  1

• CFG construction error

  #31 opened 2 years ago by S3v3ru5
  1

• Parser incorrectly parses byte instructions with ":" character in them as labels

  #23 opened 2 years ago by S3v3ru5
  1

• Immediate arguments of instructions intcblock and bytecblock are not parsed

  #22 opened 2 years ago by S3v3ru5
  1

• Tealer parser doesn't parse all the formats used to define byte constants in teal

  #20 opened 2 years ago by S3v3ru5
  1

• Dynamic __str__ trick to remove lots of code.

  #14 opened 2 years ago by feliam
  1

• Teal parser fails to parse numbers written in octal and hex representation

  #16 opened 2 years ago by S3v3ru5
  1

• Code Patterns of False Positives for Transaction Field based detectors

  #95 opened 2 years ago by S3v3ru5
  0

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

  #90 opened 2 years ago by S3v3ru5
  0

• Use single instruction for semantically equivalent but syntactically different instructions

  #88 opened 2 years ago by S3v3ru5
  0

• Infer groupsize on paths

  #87 opened 2 years ago by S3v3ru5
  0

• Replace intc, bytec instructions with int and byte instructions

  #86 opened 2 years ago by S3v3ru5
  0

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

  #84 opened 2 years ago by montyly
  0

• Improve support for groups of transactions

  #83 opened 2 years ago by montyly
  0

• Improve support of stateful and stateless contracts

  #82 opened 2 years ago by montyly
  0

• Create benchmark of real-world attacks and large codebases

  #80 opened 2 years ago by montyly
  0

• Add support for TEALv6 opcodes

  #78 opened 3 years ago by geo2a
  1

• Execution Path Cost Analysis Feature Suggestion

  #48 opened 3 years ago by palmerss
  1

• Execution path redundancy highlighting

  #52 opened 3 years ago by palmerss
  1

• Infer group index on paths

  #75 opened 3 years ago by montyly
  0

• Improve False Positives

  #65 opened 3 years ago by gidonkatten
  1

• Tealer error in check_rekey_to

  #64 opened 3 years ago by gidonkatten
  2

• rekeyTo check missing checks at beginning of code

  #53 opened 3 years ago by pbennett
  1

• "Not found txnas ApplicationArgs"

  #25 opened 3 years ago by montyly
  7

• Missing global fields and transaction fields in teal parser

  #17 opened 3 years ago by S3v3ru5
  0

• Missing teal instructions in teal parser

  #18 opened 3 years ago by S3v3ru5
  0

• Fields of instructions asset_holding_get and asset_params_get are ignored by the parser

  #19 opened 3 years ago by S3v3ru5
  0

• Add simple loop detection

  #15 opened 3 years ago by feliam
  0