README.md
setup.py
slither/__init__.py
slither/__main__.py
slither/all_exceptions.py
slither/exceptions.py
slither/slither.py
slither/analyses/__init__.py
slither/analyses/data_dependency/__init__.py
slither/analyses/data_dependency/data_dependency.py
slither/analyses/evm/__init__.py
slither/analyses/evm/convert.py
slither/analyses/evm/evm_cfg_builder.py
slither/analyses/write/__init__.py
slither/analyses/write/are_variables_written.py
slither/core/__init__.py
slither/core/exceptions.py
slither/core/slither_core.py
slither/core/cfg/__init__.py
slither/core/cfg/node.py
slither/core/children/__init__.py
slither/core/children/child_contract.py
slither/core/children/child_event.py
slither/core/children/child_expression.py
slither/core/children/child_function.py
slither/core/children/child_inheritance.py
slither/core/children/child_node.py
slither/core/children/child_slither.py
slither/core/children/child_structure.py
slither/core/context/__init__.py
slither/core/context/context.py
slither/core/declarations/__init__.py
slither/core/declarations/contract.py
slither/core/declarations/enum.py
slither/core/declarations/event.py
slither/core/declarations/function.py
slither/core/declarations/import_directive.py
slither/core/declarations/modifier.py
slither/core/declarations/pragma_directive.py
slither/core/declarations/solidity_variables.py
slither/core/declarations/structure.py
slither/core/dominators/__init__.py
slither/core/dominators/node_dominator_tree.py
slither/core/dominators/utils.py
slither/core/expressions/__init__.py
slither/core/expressions/assignment_operation.py
slither/core/expressions/binary_operation.py
slither/core/expressions/call_expression.py
slither/core/expressions/conditional_expression.py
slither/core/expressions/elementary_type_name_expression.py
slither/core/expressions/expression.py
slither/core/expressions/expression_typed.py
slither/core/expressions/identifier.py
slither/core/expressions/index_access.py
slither/core/expressions/literal.py
slither/core/expressions/member_access.py
slither/core/expressions/new_array.py
slither/core/expressions/new_contract.py
slither/core/expressions/new_elementary_type.py
slither/core/expressions/super_call_expression.py
slither/core/expressions/super_identifier.py
slither/core/expressions/tuple_expression.py
slither/core/expressions/type_conversion.py
slither/core/expressions/unary_operation.py
slither/core/solidity_types/__init__.py
slither/core/solidity_types/array_type.py
slither/core/solidity_types/elementary_type.py
slither/core/solidity_types/function_type.py
slither/core/solidity_types/mapping_type.py
slither/core/solidity_types/type.py
slither/core/solidity_types/type_information.py
slither/core/solidity_types/user_defined_type.py
slither/core/source_mapping/__init__.py
slither/core/source_mapping/source_mapping.py
slither/core/variables/__init__.py
slither/core/variables/event_variable.py
slither/core/variables/function_type_variable.py
slither/core/variables/local_variable.py
slither/core/variables/local_variable_init_from_tuple.py
slither/core/variables/state_variable.py
slither/core/variables/structure_variable.py
slither/core/variables/variable.py
slither/detectors/__init__.py
slither/detectors/abstract_detector.py
slither/detectors/all_detectors.py
slither/detectors/attributes/__init__.py
slither/detectors/attributes/const_functions.py
slither/detectors/attributes/constant_pragma.py
slither/detectors/attributes/incorrect_solc.py
slither/detectors/attributes/locked_ether.py
slither/detectors/erc/__init__.py
slither/detectors/erc/incorrect_erc20_interface.py
slither/detectors/erc/incorrect_erc721_interface.py
slither/detectors/erc/unindexed_event_parameters.py
slither/detectors/examples/__init__.py
slither/detectors/examples/backdoor.py
slither/detectors/functions/__init__.py
slither/detectors/functions/arbitrary_send.py
slither/detectors/functions/complex_function.py
slither/detectors/functions/external_function.py
slither/detectors/functions/suicidal.py
slither/detectors/naming_convention/__init__.py
slither/detectors/naming_convention/naming_convention.py
slither/detectors/operations/__init__.py
slither/detectors/operations/block_timestamp.py
slither/detectors/operations/low_level_calls.py
slither/detectors/operations/unchecked_low_level_return_values.py
slither/detectors/operations/unchecked_send_return_value.py
slither/detectors/operations/unused_return_values.py
slither/detectors/operations/void_constructor.py
slither/detectors/reentrancy/__init__.py
slither/detectors/reentrancy/reentrancy.py
slither/detectors/reentrancy/reentrancy_benign.py
slither/detectors/reentrancy/reentrancy_eth.py
slither/detectors/reentrancy/reentrancy_events.py
slither/detectors/reentrancy/reentrancy_no_gas.py
slither/detectors/reentrancy/reentrancy_read_before_write.py
slither/detectors/shadowing/__init__.py
slither/detectors/shadowing/abstract.py
slither/detectors/shadowing/builtin_symbols.py
slither/detectors/shadowing/local.py
slither/detectors/shadowing/state.py
slither/detectors/source/__init__.py
slither/detectors/source/rtlo.py
slither/detectors/statements/__init__.py
slither/detectors/statements/assembly.py
slither/detectors/statements/calls_in_loop.py
slither/detectors/statements/controlled_delegatecall.py
slither/detectors/statements/deprecated_calls.py
slither/detectors/statements/incorrect_strict_equality.py
slither/detectors/statements/too_many_digits.py
slither/detectors/statements/tx_origin.py
slither/detectors/variables/__init__.py
slither/detectors/variables/possible_const_state_variables.py
slither/detectors/variables/uninitialized_local_variables.py
slither/detectors/variables/uninitialized_state_variables.py
slither/detectors/variables/uninitialized_storage_variables.py
slither/detectors/variables/unused_state_variables.py
slither/formatters/__init__.py
slither/formatters/exceptions.py
slither/formatters/attributes/__init__.py
slither/formatters/attributes/const_functions.py
slither/formatters/attributes/constant_pragma.py
slither/formatters/attributes/incorrect_solc.py
slither/formatters/functions/__init__.py
slither/formatters/functions/external_function.py
slither/formatters/naming_convention/__init__.py
slither/formatters/naming_convention/naming_convention.py
slither/formatters/utils/__init__.py
slither/formatters/utils/patches.py
slither/formatters/variables/__init__.py
slither/formatters/variables/possible_const_state_variables.py
slither/formatters/variables/unused_state_variables.py
slither/printers/__init__.py
slither/printers/abstract_printer.py
slither/printers/all_printers.py
slither/printers/call/__init__.py
slither/printers/call/call_graph.py
slither/printers/functions/__init__.py
slither/printers/functions/authorization.py
slither/printers/functions/cfg.py
slither/printers/guidance/__init__.py
slither/printers/guidance/echidna.py
slither/printers/inheritance/__init__.py
slither/printers/inheritance/inheritance.py
slither/printers/inheritance/inheritance_graph.py
slither/printers/summary/__init__.py
slither/printers/summary/constructor_calls.py
slither/printers/summary/contract.py
slither/printers/summary/data_depenency.py
slither/printers/summary/evm.py
slither/printers/summary/function.py
slither/printers/summary/function_ids.py
slither/printers/summary/human_summary.py
slither/printers/summary/modifier_calls.py
slither/printers/summary/require_calls.py
slither/printers/summary/slithir.py
slither/printers/summary/slithir_ssa.py
slither/printers/summary/variable_order.py
slither/slithir/__init__.py
slither/slithir/convert.py
slither/slithir/exceptions.py
slither/slithir/operations/__init__.py
slither/slithir/operations/assignment.py
slither/slithir/operations/balance.py
slither/slithir/operations/binary.py
slither/slithir/operations/call.py
slither/slithir/operations/condition.py
slither/slithir/operations/delete.py
slither/slithir/operations/dereferencing.py
slither/slithir/operations/event_call.py
slither/slithir/operations/high_level_call.py
slither/slithir/operations/index.py
slither/slithir/operations/init_array.py
slither/slithir/operations/internal_call.py
slither/slithir/operations/internal_dynamic_call.py
slither/slithir/operations/length.py
slither/slithir/operations/library_call.py
slither/slithir/operations/low_level_call.py
slither/slithir/operations/lvalue.py
slither/slithir/operations/member.py
slither/slithir/operations/new_array.py
slither/slithir/operations/new_contract.py
slither/slithir/operations/new_elementary_type.py
slither/slithir/operations/new_structure.py
slither/slithir/operations/nop.py
slither/slithir/operations/operation.py
slither/slithir/operations/phi.py
slither/slithir/operations/phi_callback.py
slither/slithir/operations/push.py
slither/slithir/operations/return_operation.py
slither/slithir/operations/send.py
slither/slithir/operations/solidity_call.py
slither/slithir/operations/transfer.py
slither/slithir/operations/type_conversion.py
slither/slithir/operations/unary.py
slither/slithir/operations/unpack.py
slither/slithir/tmp_operations/__init__.py
slither/slithir/tmp_operations/argument.py
slither/slithir/tmp_operations/tmp_call.py
slither/slithir/tmp_operations/tmp_new_array.py
slither/slithir/tmp_operations/tmp_new_contract.py
slither/slithir/tmp_operations/tmp_new_elementary_type.py
slither/slithir/tmp_operations/tmp_new_structure.py
slither/slithir/utils/__init__.py
slither/slithir/utils/ssa.py
slither/slithir/utils/utils.py
slither/slithir/variables/__init__.py
slither/slithir/variables/constant.py
slither/slithir/variables/local_variable.py
slither/slithir/variables/reference.py
slither/slithir/variables/reference_ssa.py
slither/slithir/variables/state_variable.py
slither/slithir/variables/temporary.py
slither/slithir/variables/temporary_ssa.py
slither/slithir/variables/tuple.py
slither/slithir/variables/tuple_ssa.py
slither/slithir/variables/variable.py
slither/solc_parsing/__init__.py
slither/solc_parsing/exceptions.py
slither/solc_parsing/slitherSolc.py
slither/solc_parsing/cfg/__init__.py
slither/solc_parsing/cfg/node.py
slither/solc_parsing/declarations/__init__.py
slither/solc_parsing/declarations/contract.py
slither/solc_parsing/declarations/event.py
slither/solc_parsing/declarations/function.py
slither/solc_parsing/declarations/modifier.py
slither/solc_parsing/declarations/structure.py
slither/solc_parsing/expressions/__init__.py
slither/solc_parsing/expressions/expression_parsing.py
slither/solc_parsing/solidity_types/__init__.py
slither/solc_parsing/solidity_types/type_parsing.py
slither/solc_parsing/variables/__init__.py
slither/solc_parsing/variables/event_variable.py
slither/solc_parsing/variables/function_type_variable.py
slither/solc_parsing/variables/local_variable.py
slither/solc_parsing/variables/local_variable_init_from_tuple.py
slither/solc_parsing/variables/state_variable.py
slither/solc_parsing/variables/structure_variable.py
slither/solc_parsing/variables/variable_declaration.py
slither/tools/__init__.py
slither/tools/demo/__init__.py
slither/tools/demo/__main__.py
slither/tools/erc_conformance/__init__.py
slither/tools/erc_conformance/__main__.py
slither/tools/erc_conformance/erc/__init__.py
slither/tools/erc_conformance/erc/erc20.py
slither/tools/erc_conformance/erc/ercs.py
slither/tools/flattening/__init__.py
slither/tools/flattening/__main__.py
slither/tools/flattening/flattening.py
slither/tools/kspec_coverage/__init__.py
slither/tools/kspec_coverage/__main__.py
slither/tools/kspec_coverage/analysis.py
slither/tools/kspec_coverage/kspec_coverage.py
slither/tools/possible_paths/__init__.py
slither/tools/possible_paths/__main__.py
slither/tools/possible_paths/possible_paths.py
slither/tools/similarity/__init__.py
slither/tools/similarity/__main__.py
slither/tools/similarity/cache.py
slither/tools/similarity/encode.py
slither/tools/similarity/info.py
slither/tools/similarity/model.py
slither/tools/similarity/plot.py
slither/tools/similarity/similarity.py
slither/tools/similarity/test.py
slither/tools/similarity/train.py
slither/tools/slither_format/__init__.py
slither/tools/slither_format/__main__.py
slither/tools/slither_format/slither_format.py
slither/tools/upgradeability/__init__.py
slither/tools/upgradeability/__main__.py
slither/tools/upgradeability/check_initialization.py
slither/tools/upgradeability/check_variable_initialization.py
slither/tools/upgradeability/compare_function_ids.py
slither/tools/upgradeability/compare_variables_order.py
slither/tools/upgradeability/constant_checks.py
slither/tools/upgradeability/test.py
slither/tools/utils/__init__.py
slither/utils/__init__.py
slither/utils/arithmetic.py
slither/utils/code_complexity.py
slither/utils/colors.py
slither/utils/command_line.py
slither/utils/erc.py
slither/utils/expression_manipulations.py
slither/utils/function.py
slither/utils/inheritance_analysis.py
slither/utils/output.py
slither/utils/output_capture.py
slither/utils/standard_libraries.py
slither/utils/type.py
slither/utils/utils.py
slither/visitors/__init__.py
slither/visitors/expression/__init__.py
slither/visitors/expression/constants_folding.py
slither/visitors/expression/export_values.py
slither/visitors/expression/expression.py
slither/visitors/expression/expression_printer.py
slither/visitors/expression/find_calls.py
slither/visitors/expression/find_push.py
slither/visitors/expression/has_conditional.py
slither/visitors/expression/left_value.py
slither/visitors/expression/read_var.py
slither/visitors/expression/right_value.py
slither/visitors/expression/write_var.py
slither/visitors/slithir/__init__.py
slither/visitors/slithir/expression_to_slithir.py
slither_analyzer.egg-info/PKG-INFO
slither_analyzer.egg-info/SOURCES.txt
slither_analyzer.egg-info/dependency_links.txt
slither_analyzer.egg-info/entry_points.txt
slither_analyzer.egg-info/requires.txt
slither_analyzer.egg-info/top_level.txt