LICENSE
README.md
pyproject.toml
setup.py
tealer/__init__.py
tealer/__main__.py
tealer/exceptions.py
tealer/tealer.py
tealer.egg-info/PKG-INFO
tealer.egg-info/SOURCES.txt
tealer.egg-info/dependency_links.txt
tealer.egg-info/entry_points.txt
tealer.egg-info/requires.txt
tealer.egg-info/top_level.txt
tealer/analyses/__init__.py
tealer/analyses/dataflow/__init__.py
tealer/analyses/dataflow/transaction_context/__init__.py
tealer/analyses/dataflow/transaction_context/addr_fields.py
tealer/analyses/dataflow/transaction_context/all_constraints.py
tealer/analyses/dataflow/transaction_context/fee_field.py
tealer/analyses/dataflow/transaction_context/generic.py
tealer/analyses/dataflow/transaction_context/int_fields.py
tealer/analyses/dataflow/transaction_context/txn_types.py
tealer/analyses/dataflow/transaction_context/utils/__init__.py
tealer/analyses/dataflow/transaction_context/utils/group_helpers.py
tealer/analyses/dataflow/transaction_context/utils/key_helpers.py
tealer/analyses/utils/__init__.py
tealer/analyses/utils/stack_ast_builder.py
tealer/detectors/__init__.py
tealer/detectors/abstract_detector.py
tealer/detectors/all_detectors.py
tealer/detectors/anyone_can_delete.py
tealer/detectors/anyone_can_update.py
tealer/detectors/can_close_account.py
tealer/detectors/can_close_asset.py
tealer/detectors/fee_check.py
tealer/detectors/groupsize.py
tealer/detectors/is_deletable.py
tealer/detectors/is_updatable.py
tealer/detectors/rekeyto.py
tealer/detectors/utils.py
tealer/detectors/optimizations/__init__.py
tealer/detectors/optimizations/constant_gtxn.py
tealer/detectors/optimizations/self_access.py
tealer/detectors/optimizations/sender_access.py
tealer/execution_context/__init__.py
tealer/execution_context/transactions.py
tealer/printers/__init__.py
tealer/printers/abstract_printer.py
tealer/printers/all_printers.py
tealer/printers/call_graph.py
tealer/printers/full_cfg.py
tealer/printers/function_cfg.py
tealer/printers/human_summary.py
tealer/printers/transaction_context.py
tealer/teal/__init__.py
tealer/teal/basic_blocks.py
tealer/teal/functions.py
tealer/teal/global_field.py
tealer/teal/parse_functions.py
tealer/teal/parse_teal.py
tealer/teal/subroutine.py
tealer/teal/teal.py
tealer/teal/context/__init__.py
tealer/teal/context/block_transaction_context.py
tealer/teal/instructions/__init__.py
tealer/teal/instructions/acct_params_field.py
tealer/teal/instructions/app_params_field.py
tealer/teal/instructions/asset_holding_field.py
tealer/teal/instructions/asset_params_field.py
tealer/teal/instructions/instructions.py
tealer/teal/instructions/parse_acct_params_field.py
tealer/teal/instructions/parse_app_params_field.py
tealer/teal/instructions/parse_asset_holding_field.py
tealer/teal/instructions/parse_asset_params_field.py
tealer/teal/instructions/parse_global_field.py
tealer/teal/instructions/parse_instruction.py
tealer/teal/instructions/parse_transaction_field.py
tealer/teal/instructions/transaction_field.py
tealer/utils/__init__.py
tealer/utils/algoexplorer.py
tealer/utils/algorand_constants.py
tealer/utils/analyses.py
tealer/utils/arc4_abi.py
tealer/utils/code_complexity.py
tealer/utils/comparable_enum.py
tealer/utils/output.py
tealer/utils/teal_enums.py
tealer/utils/command_line/__init__.py
tealer/utils/command_line/command_output.py
tealer/utils/command_line/common.py
tealer/utils/command_line/group_config.py
tealer/utils/regex/__init__.py
tealer/utils/regex/regex.py
tests/__init__.py
tests/test_cfg.py
tests/test_detectors.py
tests/test_detectors_using_pyteal.py
tests/test_mode_detector.py
tests/test_parsing.py
tests/test_parsing_using_pyteal.py
tests/test_regex.py
tests/test_string_representation.py
tests/test_subroutine_identification.py
tests/test_versions.py
tests/utils.py
tests/detectors/__init__.py
tests/detectors/can_close_account.py
tests/detectors/can_close_asset.py
tests/detectors/can_delete.py
tests/detectors/can_update.py
tests/detectors/fee_check.py
tests/detectors/groupsize.py
tests/detectors/multiple_calls_to_subroutine.py
tests/detectors/pyteal_can_close.py
tests/detectors/pyteal_group_size.py
tests/detectors/pyteal_subroutine_recursion.py
tests/detectors/rekeyto.py
tests/detectors/router_with_assembled_constants.py
tests/detectors/subroutine_patterns.py
tests/group_transactions/__init__.py
tests/group_transactions/test_group_support.py
tests/group_transactions/utils.py
tests/group_transactions/basic/__init__.py
tests/group_transactions/basic/app_1.py
tests/group_transactions/basic/logicsig_1.py
tests/group_transactions/basic/logicsig_2.py
tests/pyteal_parsing/__init__.py
tests/pyteal_parsing/arc4_application.py
tests/pyteal_parsing/control_flow_constructs.py
tests/pyteal_parsing/normal_application.py
tests/transaction_context/__init__.py
tests/transaction_context/test_addr_fields.py
tests/transaction_context/test_fee.py
tests/transaction_context/test_group_indices.py
tests/transaction_context/test_group_sizes.py
tests/transaction_context/test_stack_emulation.py
tests/transaction_context/test_transaction_types.py