S3v3ru5

Reduce number of detector output files

1

Fix #101

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:...

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...

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...

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

If a contract verifies that a certain transaction in the group is an "AssetTransfer" Then it should also check that the asset-id of the transaction is valid. See [building-secure-contracts/not-so-smart-contracts/algorand/asset_id_check](https://github.com/crytic/building-secure-contracts/tree/master/not-so-smart-contracts/algorand/asset_id_check)

Transaction field analysis is a general framework useful to find possible values of transaction fields. Given a contract, the analysis gives information on the transaction calling the contract. For a...

Teal assembler supports various alias instructions which are not mentioned in the Opcodes document. - `method {s: method-signature}`: Alias to `bytes {4-byte method selector}` - `extract` instruction without immediate arguments...