tealer

tealer copied to clipboard

tealer detect with --exclude flag fails

1

I am getting an error when executing tealer against a simple approval.clear program. The --exclude flag as documented on this repo accepts a list of comma separated detector names. Hovewer...

aorumbayev

Similar to https://github.com/crytic/slither/issues/2096. This is a meta-issue, intended to track sub-issues that will align tealer's codebase, development practices, etc. with the rest of our public tooling. - [ ] Align...

woodruffw

- Add AbstractDataflow, which is a generic dataflow analysis, following an abstract interpretation approach. - Add CollectInstruction, which is just an example. The analysis collects all the instructions executed -...

montyly

Reduce number of detector output files

1

Fix #101

S3v3ru5

Initial design for support of group-transactions analysis

3

First task of issue #83 ### Data Model ```py class Instruction: prev: List[Instruction] next: List[Instruction] line_num: int source_code_line: str comment: str comments_before_ins: List[str] tealer_comments: List[str] bb: Optional["BasicBlock"] supported_version: int supported_mode:...

S3v3ru5

Create source code mapping

1

See https://github.com/algorand/pyteal/issues/449

montyly

Fix execution paths generated by group-size detector

1

`detect_missing_tx_field_validations` and `search_paths` already address the issues with the generation of execution paths. https://github.com/crytic/tealer/blob/c590caacfb33aa1f68498b2cb596701e7dd2fd18/tealer/detectors/utils.py#L51-L229 `group-size` detector implements a function to generate execution paths. This function does not address the recently...

S3v3ru5

Detectors and printers output `.dot` files. All these files are saved in the current directory by default. User can use `--dest` option to select the destination directory. When user uses...

S3v3ru5

Automated tests for running the tool from the terminal and comparing to the expected output.

S3v3ru5

S3v3ru5