slither-tcheck

View on PyPIReverse Dependencies (0)

0.1.0 slither_tcheck-0.1.0-py3-none-any.whl

Wheel Details

Project: slither-tcheck
Version: 0.1.0
Filename: slither_tcheck-0.1.0-py3-none-any.whl
Download: [link]
Size: 632683
MD5: 89a9f6c8e8b75ac2a121225ccea9ec27
SHA256: db653cc78bd23c56fe92707323a419f1b61e452268ecf6cc5013edd2a76cc3d5
Uploaded: 2023-06-11 03:21:22 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: slither-tcheck
Version: 0.1.0
Summary: typechecking tool extension of slither
Author-Email: NioTheFirst <bzhangprogramming[at]gmail.com>
Project-Url: Documentation, https://github.com/NioTheFirst/SCTC-Full#readme
Project-Url: Issues, https://github.com/unknown/slither-tcheck/issues
Project-Url: Source, https://github.com/NioTheFirst/SCTC-Full
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Requires-Python: >=3.7
Requires-Dist: argparse (>=1.4.0)
Requires-Dist: slither-analyzer (>=0.9.0)
Requires-Dist: solc-select (>=1.0.0)
Requires-Dist: z3-solver (>=4.10)
Description-Content-Type: text/markdown
License-Expression: MIT
License-File: LICENSE
[Description omitted; length: 25335 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.17.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
examples/scripts/convert_to_ir.py sha256=Bu9Vvr7wpethNq14g6vHipxAmjDfDBkDsUjoYIMaz8g 728
examples/scripts/data_dependency.py sha256=d9IUpEZzyJV184jnCADhbjFrP8j7H0_NaIbNfQlDP-s 5099
examples/scripts/export_dominator_tree_to_dot.py sha256=AalvpDhKENx4WuBaHRJkzjN8XcYFef_WjH0c7MyBqK0 476
examples/scripts/export_to_dot.py sha256=LHWtG7p9jOpCmLJXMmVYjwmjz30j4cZK6Qfxh319t-g 444
examples/scripts/functions_called.py sha256=dAy8ei_QKCMmgbe0lXf2TEkRh3DAAmmKyW2uR_AwU-c 629
examples/scripts/functions_writing.py sha256=n8-9XBq2OI065YyG1CH0mcX0EiiZjiagAozw63inPUc 606
examples/scripts/possible_paths.py sha256=8WuHqhbz4XvS51Jaoemg_ECNI9zomJ3c8_F3r_yB_Lc 7689
examples/scripts/slithIR.py sha256=3mkh73GSunwR8jT9t41dfpPGRBY6XC-k1XyE2W5zK0w 896
examples/scripts/taint_mapping.py sha256=x7OBEWNFt_lVlibe1Rfq4OJwMb5mVMGycX5w2qm_ZG4 2926
examples/scripts/variable_in_condition.py sha256=4IHr4YKzBySz-IlsZAJo2rEWAGI1m_6WxncrAKbEDwI 805
plugin_example/setup.py sha256=NKxiYnd9uNR25RY2_goT0UnPg-Q4KVmtUk2zaFg54_0 485
plugin_example/slither_my_plugin/__init__.py sha256=SGM-qhLLDVhrWfAfk9El-FIUoDdJOJkNTaoeChsBYbM 444
plugin_example/slither_my_plugin/detectors/example.py sha256=OgeU_WHYXCtrBQuqzSEZ_iqkAPZY3k6s0tRDEqsMbbc 667
scripts/json_diff.py sha256=JYyQQnt6P_ccDO95Jf52ndY3cPsTHz_N99hIX1b0oQk 618
slither/__about__.py sha256=oEOPnoKepucy0K6PHbYouWE3r3LcO3SXbVhzfw5XgC8 136
slither/__init__.py sha256=31TVRl1-7IhzaoZvBoSl98FyU5q3xw6_uXLawv6bHi8 29
slither/__main__.py sha256=e0MzFOGPAXFJSJRXkYPFqMCOr5cz7-Nxc7xuoVKNF3I 32963
slither/all_exceptions.py sha256=1kWi-grEpIAR6GZ8-Vq0VyReh5RkARnX8NhrpdhC__k 310
slither/exceptions.py sha256=eLIzL0o8uQb9sCjZqetX3U6ZrR6IbRJ9TUGdxkWwOes 93
slither/slither.py sha256=jwR27g3w5VGdaD2TFXof9URXzm8y6j4_joB3_mMY7RA 8516
slither/analyses/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/analyses/data_dependency/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/analyses/data_dependency/data_dependency.py sha256=HWNpZY5y2DyEx9eJJDMO6NLb4bRff39E6nEVpiw7jKQ 15186
slither/analyses/evm/__init__.py sha256=loeBPR6egfuEItj68Re8Cam0a83kgDsI9OHlYdRiAME 106
slither/analyses/evm/convert.py sha256=2pLFZVuUGIl4KErrhWl3-S6X6qBWmqsNXJxbLl7rSDs 7797
slither/analyses/evm/evm_cfg_builder.py sha256=9qEV9ir6i4bb0rIm6xljI3OhQitm3HtgP0Ahw35kKqo 689
slither/analyses/write/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/analyses/write/are_variables_written.py sha256=VD1FCKWoq21fJ2ET77pHUN_92NGmw0xWphufD3AFuN4 3910
slither/core/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/compilation_unit.py sha256=v_HB1wtrCEYKvbhNtNn3lchl9bmToOKSMM7thp2Fouo 11463
slither/core/exceptions.py sha256=XgRkkzREWhQzJqHb7MqcKeEqIqBPlx7e4OSO9hgrh6M 101
slither/core/slither_core.py sha256=HTQKMRm4FOMec1uoExCNWKcmsf6pKXLM3OAucNp3p_s 21965
slither/core/cfg/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/cfg/node.py sha256=IBKZn1hIocO4T0giZzIhcFAhm1pk4mi5FjisMAWXlhM 38692
slither/core/cfg/scope.py sha256=yeY6ZzLjTFIWtZ_wEVDCEae17PN_bWAO2G2CNlXb3Gc 447
slither/core/children/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/children/child_contract.py sha256=oWewQa0RlO0C8-5viArrv8iwBPvygfUPofufokipzV4 460
slither/core/children/child_event.py sha256=tTLT7DVz00Hoeaw9ck32z2oPbmJ_c21ZTI3YpKjAe4o 342
slither/core/children/child_expression.py sha256=qL7VlIgKjlrcu5QsuAo2wugVS4iGtfe55b069YF2SUU 407
slither/core/children/child_function.py sha256=kY8r0HET3RBGEWtICXye2x-BKeeEC1HYtb-MdRQV6vM 391
slither/core/children/child_inheritance.py sha256=vm0uz5bhSq5yRoKu7n2A1vwSRl5XzWGKKENqB-D_R2I 423
slither/core/children/child_node.py sha256=mhu_kItF18JnyaEb1L4p1yPtvhS7dGD06YkIujKYCKo 757
slither/core/children/child_structure.py sha256=8sXPmw9k1t3eJo0AyF74SrMS1FEpAKAavAxOFU1Amys 386
slither/core/context/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/context/context.py sha256=K5f33cJkpk5pdWqAx06f5Fpvjps1Q61GkhFqYRkBrzQ 368
slither/core/declarations/__init__.py sha256=tGg8jPXVaGzpMMzwcVOPw96_KcKpLzGhgV3lDV0_ufQ 637
slither/core/declarations/contract.py sha256=lVcEL7sBlw0wVGLCPcoIuq0C9nHc5Ipqb0NEtq9UNG8 57859
slither/core/declarations/custom_error.py sha256=Ro1wF0qgYAyV_qX9iPWZCLj89ttKYHAvQTbWynWec0I 3394
slither/core/declarations/custom_error_contract.py sha256=j5sstH3C3Cs94vTf40KLDzzQ1AJCfhUuYHvwKGcXhzM 387
slither/core/declarations/custom_error_top_level.py sha256=iS9CBLoLl5N8PFbRmeuWN4K19-U6kEJF2KPbGEsNJw4 521
slither/core/declarations/enum.py sha256=4gIbcZEnLDIs5UhZQ2JWNRkRTj0jDCLE6uLYr5IdZFk 868
slither/core/declarations/enum_contract.py sha256=lCjwpAcYfDmoH8cH-8u-TniKb7vbqUfF1AzDvod7JRg 477
slither/core/declarations/enum_top_level.py sha256=xUikXX-iR3z2WsTjb1NfxxfFbwYMp4jgQb6q1UzyGJM 443
slither/core/declarations/event.py sha256=NTc9HrFRHpnv9XeBZzzJ4n9ZXfGz7rK3woKJXUnuvKE 1732
slither/core/declarations/function.py sha256=0XymHgeskCk3yYXOhTvzqlbckd_4aUiiKeW90Xcf-Pw 69087
slither/core/declarations/function_contract.py sha256=AAqyHggTRGCaxWp3G7PzZ7DMQ7_c94QlK-r4VPxTMX0 4429
slither/core/declarations/function_top_level.py sha256=ZYu3mOSmC0AR70LGuOwJme6KopQj0UB0-r_YUcf6izg 3712
slither/core/declarations/import_directive.py sha256=GNbsr9nBgcIZt-_bSb-Ei9smtdYd_AD5VSG0WY2bHP0 1104
slither/core/declarations/modifier.py sha256=xN1EpH3Vw4RKJ8k0bICndEvsR_5bG1-lCixlyRJ9n9k 121
slither/core/declarations/pragma_directive.py sha256=w7TFInNP22KWXSQAHRxo6NszSBPEz_JzgCQvRF_5xKA 1126
slither/core/declarations/solidity_import_placeholder.py sha256=tD0ZklWDYCkqTIjCsZznhMjWb7TFkZv2uqe7lMkUSSI 1315
slither/core/declarations/solidity_variables.py sha256=mY8J1tTgd27AxiFxKBepJMNs7-DRZVZ_I3OCxQ5w0ls 6755
slither/core/declarations/structure.py sha256=33ByoSjusXr-dgV-f3CM70g8pDugSGc5XT4nCdyiocw 1576
slither/core/declarations/structure_contract.py sha256=IvyylkZtLpzS-V8-T7irgZ_5I68NHGmC7flIuZZfOFk 368
slither/core/declarations/structure_top_level.py sha256=AmxSRMk6FRJ9kHlLpp5FIxN3HYPeDkqeHNIdKUgxzsA 502
slither/core/declarations/top_level.py sha256=VQKEfa4tmDiD6LogUJ2sJK-c-SjWKkzjYmcwnT-uYq4 111
slither/core/declarations/using_for_top_level.py sha256=wQ9IsgWOY6l84QUbLI7zJGvO4vLJd41KJjbABjlue4c 544
slither/core/dominators/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/dominators/node_dominator_tree.py sha256=eph3FndkR8OpB8YWSjkWzsGRkr56tgeZd5l0osaD0Lo 581
slither/core/dominators/utils.py sha256=WX9xAQ_efVQTZ7xSbgOUiHJnBdBbVsYxDq1L9niT0iI 3113
slither/core/expressions/__init__.py sha256=I_CQCo_M2mWPt_ZhXZKX4whHVR7gDMjGl5Y5qKBE_Vs 840
slither/core/expressions/assignment_operation.py sha256=QgucIR9DcLt_hFbIqwnAM1g0P2Usd49szrw9vHgAjlc 4255
slither/core/expressions/binary_operation.py sha256=1qvE64k-iGRrjZhgGCY6ON4CQp5TiT2WYdqx9lz9kmg 6134
slither/core/expressions/call_expression.py sha256=dWcBmnlDZ7hU2UJRxpRFd86TTDaZIH8DPPqW7K_owYk 2079
slither/core/expressions/conditional_expression.py sha256=_lkxFCzt9vkJKlOn1N1MXgqi9Cjn7_xLphVL8_ppla0 1210
slither/core/expressions/elementary_type_name_expression.py sha256=6-ACHlW1QvqxLP-R8WXPJbIYSXCwBFLw7DmouUnJGnY 605
slither/core/expressions/expression.py sha256=DfRYjuW1IYThyc2W2vaqE-VgfZp6QNnW-KG_KWFPOgA 340
slither/core/expressions/expression_typed.py sha256=6uNxmIXsj2A4NwIqVsnKitUaDWZeoVSxsg_TaDVAAXY 525
slither/core/expressions/identifier.py sha256=UxzPND90HP9oN4Kq0zJ6dBT_QrqG_zqK_iPZYGMAKeM 463
slither/core/expressions/index_access.py sha256=TEeH3hvu05jFNhL8l2IEU9F9H5r5HPtgpJxc8HFKa-k 1067
slither/core/expressions/literal.py sha256=XGd0cEsWDADhG1bVa5_G-ZBEJ9MQ0hM_hf8uZjiht2w 1731
slither/core/expressions/member_access.py sha256=2eeGAxaOHeuFpKtr9vj1HwFcHGrTom2hZCuhYSsiDCA 910
slither/core/expressions/new_array.py sha256=DWqATpJXPS8ducnKE4a4HEpJP9JeDq1vOjTvwpv5ydc 633
slither/core/expressions/new_contract.py sha256=3iLnVtxeMxZIYKCG7aCHEjhiXc-uLOD5bWPrB8r2FA4 735
slither/core/expressions/new_elementary_type.py sha256=c0VYo3tq4e1U0Wi8DPpj9-eHgL6e6tzQGzQhg1543cs 455
slither/core/expressions/super_call_expression.py sha256=pPm49RpNW5F9saBYVvnxjC_rfLXdMlNWxpPI9swGqqc 122
slither/core/expressions/super_identifier.py sha256=qmAOh3re-1p9dx4eFbP-SHr8YhigmRRwGfv758BaPYQ 162
slither/core/expressions/tuple_expression.py sha256=XFAs67dvVKL1pnFMlTAXBWtb2OXNDte1Ttx3FOande4 563
slither/core/expressions/type_conversion.py sha256=wnM3h5utF2Su9AuoqROv7zPgKjcI66j8Beog3S7PdDA 668
slither/core/expressions/unary_operation.py sha256=YjmgUK-wPgoHTKTzVEaqlYySzP0sWLBloW0whM6OT5E 4049
slither/core/scope/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/scope/scope.py sha256=vZLuq2cFjRtLtjGgf0c1VE6B_ui1DKnZzomQ6LrQMj4 8693
slither/core/solidity_types/__init__.py sha256=HW4pJUZenQ7yQywiSkx8Z_D6zGPv85GWw64Isbo4qSc 344
slither/core/solidity_types/array_type.py sha256=Vz13bT03uCiz_RVp2C1oz9O_XmeCGQY5Hvz9Wyl2iOY 2019
slither/core/solidity_types/elementary_type.py sha256=Dh12L9hcknZCeoUO9wWc3vcjxxYhMUhQBQyl-IxODog 4821
slither/core/solidity_types/function_type.py sha256=fPir0KIfnb6WhK7wsnqcS7n55kh7dYcgqP-8h-tPdq4 2436
slither/core/solidity_types/mapping_type.py sha256=ScdDJM5ukm7HOvLStQ5wMw8IH8jIYSq80dOdDTj14UU 945
slither/core/solidity_types/type.py sha256=Rcag8heaHnqAtYBdMC-8zXnte_vZ0yiuTCkJKRs0Hos 636
slither/core/solidity_types/type_alias.py sha256=2-lEtcaKq5kbpDF2T8Rx0_JPqiGVwpwWM86fPcD5NMI 1567
slither/core/solidity_types/type_information.py sha256=hgq5Ifq8i7WdFaf-ybJ8j5SxP4PSQYWV5Bl0mw26f0Q 1480
slither/core/solidity_types/user_defined_type.py sha256=u-2vKIFEStxBRhh5DPHJqBKK2mgLDNzn0pbyeJ3PAsY 2791
slither/core/source_mapping/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/source_mapping/source_mapping.py sha256=A9odguK4XLh4WD78Md1C6nJkqLVLV0wvsKmYam1FQHc 7082
slither/core/variables/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/core/variables/event_variable.py sha256=qcJksTg-qR7hfuJt7lgVw_f3VLgUrk6i1oge56GkA6I 600
slither/core/variables/function_type_variable.py sha256=F1calVgi6FHEQRyS0RD5ntYTnVnYxTSPMDagbKLTPj0 185
slither/core/variables/local_variable.py sha256=fy3a_xUwvY4PklbYVRHr4qVnRLja_Tx97OOys3M_KZ8 2141
slither/core/variables/local_variable_init_from_tuple.py sha256=2918ogThxynKC9sc2gKEQNlqffNe92geJ6c22eardog 685
slither/core/variables/state_variable.py sha256=S9XRnNUE0iaZdsw9EXey0fuyY3sasj-Xa4L8d9tFeYE 2431
slither/core/variables/structure_variable.py sha256=9uBqTM3ONwPjyeCatLerKYQc5GB5LbxP_HYM_487xOI 180
slither/core/variables/top_level_variable.py sha256=E1Be2qhe3LnIfFPntznRiC4UBX-f_QpO8YJglaBbPJM 1418
slither/core/variables/variable.py sha256=rnyZrt0BtyUijoptazNy8nkXprHXbJMPzNeTOL17Vmc 7830
slither/detectors/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/abstract_detector.py sha256=m6ikmAjmRlX40bAvdW6vh5CtON2paZyhgAtOUFN4M_c 10489
slither/detectors/all_detectors.py sha256=w-pYVEF1rSi1yclKAVKTbHTVwPcyvGSCUWPWSa9yN18 5636
slither/detectors/assembly/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/assembly/shift_parameter_mixup.py sha256=fhs7O5Un68QsUkm6aIZwh7Od3CY5LU8yPWHCUFvDAes 2044
slither/detectors/attributes/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/attributes/const_functions_asm.py sha256=ejPtukOFG0OTHpXZVd9OnCshrlfmUlXErfUgUFKDbjY 2911
slither/detectors/attributes/const_functions_state.py sha256=_9UsSyq9IOPNxLZHlGon-Ukhh__9XcaInLDoFvuljec 3187
slither/detectors/attributes/constant_pragma.py sha256=a-8JbHCr9vpu2eEgSPmg79taEyGaUys9hZopiSxxz-o 1507
slither/detectors/attributes/incorrect_solc.py sha256=gfgEFCcwtgVgSdmj056IB5VRNr8EJI1rGjPOz7m_wkU 5882
slither/detectors/attributes/locked_ether.py sha256=Tz5d86NLsPfmWONeUCl_qLWcXVIAu5zDYR135fJWy_E 3474
slither/detectors/attributes/unimplemented_interface.py sha256=7okhWJtIPWIx1rk9JEmp56A0610MEiB39htb2SUGzFM 5485
slither/detectors/compiler_bugs/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/compiler_bugs/array_by_reference.py sha256=OZjsvcFaJ6rXGgt7yaF4VjJfQkbrJVKGGHt18NAgbNg 6893
slither/detectors/compiler_bugs/enum_conversion.py sha256=qQg7efxgu7gvvVW4_WBpVVEoGHMpHiCmifde5hYjX6Y 2455
slither/detectors/compiler_bugs/multiple_constructor_schemes.py sha256=fSH7vvGneYRHaF3Vxugq4xTSUipWue4BiG2BLF6YH5M 2373
slither/detectors/compiler_bugs/public_mapping_nested.py sha256=sUqYf6Q2ZxFym36Zf056-AUhzTtFjMWnLsUip3CSXKw 3485
slither/detectors/compiler_bugs/reused_base_constructor.py sha256=A-NGmlyIva_hLLXfdCbSeXuRxrSR9KCzqdhZ1lwLvws 5724
slither/detectors/compiler_bugs/storage_ABIEncoderV2_array.py sha256=I5aZETWkquk1lkjO1IBjwiQEnv5ji0ZD6LQ3gs6U7FM 5099
slither/detectors/compiler_bugs/storage_signed_integer_array.py sha256=8vK3Fkz0z2BRZrEjLj8-jlb1VxGZmu-to7aWU3mKgZ0 5161
slither/detectors/compiler_bugs/uninitialized_function_ptr_in_constructor.py sha256=Ho_L82UCqlUqjmVo-nY_h2c1TdgZSlSigF4GDAtwFWg 4554
slither/detectors/erc/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/erc/incorrect_erc721_interface.py sha256=B1W0LxN7MpFsMapxo6c8yUOs7fxBQeJ8ecxN7BOpK78 4317
slither/detectors/erc/unindexed_event_parameters.py sha256=18BZyjmyQGskmWMHL2-ucAKlKI6CA7xIxAgGtOjFj6s 3669
slither/detectors/erc/erc20/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/erc/erc20/arbitrary_send_erc20.py sha256=wT_0PGdUMcRl1ywfWecWr91UBBAwh4G4dmDr-TnegRI 4022
slither/detectors/erc/erc20/arbitrary_send_erc20_no_permit.py sha256=o-M6cWQIgAl2D6rLLSL_KVpsPKUnm7346E7YND9Io8E 1666
slither/detectors/erc/erc20/arbitrary_send_erc20_permit.py sha256=fpMdxZdptXAWOYis3v_nuXEAubEskI1heeo5X9a6zRI 2012
slither/detectors/erc/erc20/incorrect_erc20_interface.py sha256=JUvibl80gKCx3QV_7vDAdF31RRWCimsZY3jX8ZHrCNU 3985
slither/detectors/examples/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/examples/backdoor.py sha256=RukexTbt1AZmjMgwGvWXq6nvohN_LGKqKwg4Uwa1aqQ 1174
slither/detectors/functions/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/functions/arbitrary_send_eth.py sha256=w_Ls3bwd9sNMt6I7J1B1ke_gjT8W-Bem_7HWWlAOf-Y 4616
slither/detectors/functions/codex.py sha256=-GOR6f5V1wuc9AT_WLVbe0xw4wMPFXLC0bX-k_WvPtA 4446
slither/detectors/functions/dead_code.py sha256=XeYstbSB8JOtRagSZZuSlG_Lk3nj4wBNYz4g81Jz87g 2811
slither/detectors/functions/external_function.py sha256=11DRrRveyfHsvFZhfWKs_04rN_1TXhdRhvkgQE31u08 12558
slither/detectors/functions/modifier.py sha256=4nIUsNFjKpZfPkSKELlP5tjk7C2N0Mc6ITj5DJGigFs 3059
slither/detectors/functions/permit_domain_signature_collision.py sha256=5V9k_Yd9fqn3hRJt9W1ZcXKvF5CLsLTU57Qj4VxVkoE 3380
slither/detectors/functions/protected_variable.py sha256=RIQlzD8osDjvf6sTKr1QqNwGkCNMG81D1JaCyZPcSrs 2901
slither/detectors/functions/suicidal.py sha256=XmpCZokSgq6mfu4rMkdxUosdmnOc2ikP5FxQ6Oft9yQ 2247
slither/detectors/functions/unimplemented.py sha256=SyFcdLTBE6O0CS7hpp1f2MYFRuS-LyhEC1AWVq2oXso 4011
slither/detectors/my_detectors/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/my_detectors/detect_external.py sha256=M0Tv442VEGge42vvon_5LKhFWNmdbjZ9sDotC1HTsBU 1096
slither/detectors/my_detectors/detect_round.py sha256=pzkUBZCtvbtE8HWxoMmpg8o47b1Zy0i4l7ruJdtOgP4 13664
slither/detectors/my_detectors/tcheck.py sha256=Are80Q3nEMSwK2PP6Gq2XDIvjqdkVGOfWqeMQT0ImEQ 55566
slither/detectors/naming_convention/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/naming_convention/naming_convention.py sha256=gxuC0IPClzBMEhIfBP0hZD5UiQskWmk_E9X_z5Jp5hs 8015
slither/detectors/operations/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/operations/bad_prng.py sha256=VHphk3koQKaD1YkDmLB7renhNlqeJNPOlYL8-5n5ovw 4565
slither/detectors/operations/block_timestamp.py sha256=3zqoJKCq_rofiNfshfnh4XPAG_adL69XP5TlhWAXAxU 3191
slither/detectors/operations/low_level_calls.py sha256=_8Pyof02CRVNYozdKWLh6KqqiM8BuSKaTAnK1SSDR1U 2169
slither/detectors/operations/missing_events_access_control.py sha256=DjaqF0X2VxV_7PQXfmKYSmx36Sfc0xiPWH4TwfQD-Fk 3969
slither/detectors/operations/missing_events_arithmetic.py sha256=IJ4EyePNCQDcj0sSu7DslKS4BiIAZBhyBqin92PdOGg 4622
slither/detectors/operations/missing_zero_address_validation.py sha256=4jx4gIHiwML0hsecvjPJ21vPmqp2IGqinXF6DMx2HxM 5959
slither/detectors/operations/unchecked_low_level_return_values.py sha256=MB8KgVX0ugGpWpDDDy8gzMLwNet7Ls3guIAJ2IeiLgc 1467
slither/detectors/operations/unchecked_send_return_value.py sha256=EIAupwgEsNprHKMGdhslIcPvl_15z9t9gAn0c7x2kw8 1364
slither/detectors/operations/unchecked_transfer.py sha256=JKTt8jpaP4MyYL-lpU1nMt0hbJLGCjcLIOn5XQmoiXw 2021
slither/detectors/operations/unused_return_values.py sha256=Bv_GIcRDmL4SkH6Ird66OwqY0xtwcCa4lgxDj4S_Su0 3251
slither/detectors/operations/void_constructor.py sha256=Qyt0NLEYQsojxmL7-rMu9s0pQx40f2U2qHjnqcvu8gI 1543
slither/detectors/reentrancy/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/reentrancy/reentrancy.py sha256=1YzosXNAYLarQvL-RTEbyUVVwioh5KaHbdBTQz1khrQ 10740
slither/detectors/reentrancy/reentrancy_benign.py sha256=J26iZKdu-UOaunc8CpK4iK4CteNA83sSSZO94u0PVPw 7452
slither/detectors/reentrancy/reentrancy_eth.py sha256=9g5fFhel1nVj2dh-ino8xqqlLoc2nTqGfRP0M9J4cCs 8599
slither/detectors/reentrancy/reentrancy_events.py sha256=RiYiJl5y9kFSxAgSll7PX_2bSj3KUYhdggGDTXdxlPI 6396
slither/detectors/reentrancy/reentrancy_no_gas.py sha256=mTgfZVoshCgUk1tQNmGHA9vMhBRw_qCToWbP9CCFsRA 8768
slither/detectors/reentrancy/reentrancy_read_before_write.py sha256=xjoBnA6v5c42xFbhGzt0qCrU72BLc9DLg-bG9ojLPrM 7125
slither/detectors/reentrancy/token.py sha256=oPAjrG348Hvu_DU6-k1nB5umQFXUsGFnQP-3M8g4_Bo 3589
slither/detectors/shadowing/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/shadowing/abstract.py sha256=gGYQWGi6I5lcG3wPn2IIkvw6_I6SaUyj_1bhnVORkAk 2795
slither/detectors/shadowing/builtin_symbols.py sha256=-1wKCuxVP7I7x2pOYkHNLgCbfWW27WeFMb8G0MSBpEE 6080
slither/detectors/shadowing/common.py sha256=p2yKcrFbEzBPILo4G1yDw_8gJdP3LuobVJUmeJ7qmNY 1164
slither/detectors/shadowing/local.py sha256=N2qbQQsgc7nzibPl33bvz56MhPz1H0ddcag6fSD2niM 4794
slither/detectors/shadowing/state.py sha256=Ymjo1CEsuTZnwlC1mtvcoq8q5XjJNlsWNua-Gd7b9IU 2622
slither/detectors/slither/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/slither/name_reused.py sha256=_a_yMbcQ8yaM5mZ82DZEuDC_Dgu3evoHnE9yt8t4Wtk 4462
slither/detectors/source/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/source/rtlo.py sha256=wnyZR3hc2ZPq-xg3zYNxwnj4XoKq8pHjcL-myCgKoMo 3350
slither/detectors/statements/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/statements/array_length_assignment.py sha256=t_Rzm7_eUy4NsNr85uwn2rpBPDVqpbr5f_Vicb9WEXw 5281
slither/detectors/statements/assembly.py sha256=aduqIKBLZloiA7pKc2Szj22gcfKS8DqwWF9uh1qHpoI 1875
slither/detectors/statements/assert_state_change.py sha256=A1Cs5-JgIdjxubAcI2Cfhoen4LVo2yryiCZCGWZAv7k 2987
slither/detectors/statements/boolean_constant_equality.py sha256=yNXAw1UUimQ_8jgFX9gO6rrAJeYgb_bspptyV34wK70 2783
slither/detectors/statements/boolean_constant_misuse.py sha256=nhClnKRkMRqr-dJMJXoTvYrAiYUPLH8PRKXQPvkIMqk 4143
slither/detectors/statements/calls_in_loop.py sha256=sH-Qi19oyiTXKuB-HuAjrIIB5Ot6-ZsmfG8GfPMVeOk 3041
slither/detectors/statements/controlled_delegatecall.py sha256=CIpZcWFaaSIn0Xhlc50JHNVQc7o-h8lHA55YwQT-IjM 2417
slither/detectors/statements/costly_operations_in_loop.py sha256=WJtvBK7eqS6OaJuWsa8StAaVkOnPjE_M77dy1sxeA7I 3559
slither/detectors/statements/delegatecall_in_loop.py sha256=VUfC0LrdfDS7lw5MH06Vq3QWGXjjFnaIZQp0eMeC7FE 3301
slither/detectors/statements/deprecated_calls.py sha256=gktb2WEQgApZK1N8wnOKU94odyg3vzu2pMTHKecdSgM 6878
slither/detectors/statements/divide_before_multiply.py sha256=1RkEjS9NCrGLqNX74kJrPuuSTohQ56kAxQU6wzralLY 6948
slither/detectors/statements/incorrect_strict_equality.py sha256=2KEH0iPT7t6oNBtLAO7tlyab64jkF0-QM3ktMjSUboI 5750
slither/detectors/statements/mapping_deletion.py sha256=omcFBVg79dulHV0i5X5kXir0B6kVVnG7mIWAtniaLsU 3064
slither/detectors/statements/msg_value_in_loop.py sha256=2IfsUHKNj1bzOOL7025PWQg54FjJY1tT8K_-af32RSg 2814
slither/detectors/statements/redundant_statements.py sha256=PLUN6YxvHIIpgx6Yhg65TROe9UPI28KDdFEDi7pujls 3137
slither/detectors/statements/too_many_digits.py sha256=w8t7MvwnQLqVeuC-Sc0dmJWcYvt5XJScrbI9lHjO9rs 3220
slither/detectors/statements/tx_origin.py sha256=mth2fVhxHr8yARVQ7cJMf6GVbnFIYsDx0bSy5zL8Qnk 2685
slither/detectors/statements/type_based_tautology.py sha256=-bvcCvwq7hK6OMePbGw1CRzHqaOOHFeiVkxGyRTHV2w 5553
slither/detectors/statements/unary.py sha256=L585gIL14vMftVtUQ5ohclm5_Iz7PggUPSIdm7MAe_s 3046
slither/detectors/statements/unprotected_upgradeable.py sha256=sfKi7_23b6oBqsiNl_y5d3nizNaqAwJPGdd9612r7Ps 5197
slither/detectors/statements/write_after_write.py sha256=bNm5TsRpcZkYcBtn8jgcUulnrZTCH32VBw_yCH9lshY 4506
slither/detectors/variables/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/detectors/variables/could_be_constant.py sha256=ZByOTeW26O9grmmzFgaELkb8X0Gs3yGiW_zigiqx43s 2060
slither/detectors/variables/could_be_immutable.py sha256=-hDLa3UgqqEBKH0MN_qBA8og7Fw8H-8oN6U1hvqPul0 2037
slither/detectors/variables/function_init_state_variables.py sha256=1-ux0wgkuvlk0rPpwVcUbEOCHIxVu_enVkgKB94yW6w 4759
slither/detectors/variables/predeclaration_usage_local.py sha256=PNnNsvD9AE4PI4J-mTVjfiAp-lmcFAhtrqi-LgNaHnY 6187
slither/detectors/variables/similar_variables.py sha256=bcQLUFUJ9ajRcF9duTmHmVer_Xm3JOcS7VEU-3A_kjU 2879
slither/detectors/variables/unchanged_state_variables.py sha256=SmYC7dHAI0xNpA4JhlQraVT2fRq9FXh2wP1KHkxViBM 4660
slither/detectors/variables/uninitialized_local_variables.py sha256=xHoKrvaXIOR4seqcUIgAlHYCX72b52WiUg2m5fRkUl4 4132
slither/detectors/variables/uninitialized_state_variables.py sha256=ONNrS0dyWwrkKddPuUj0r8pyzfkfpcDFqe7eIqAPWhE 5391
slither/detectors/variables/uninitialized_storage_variables.py sha256=uORomddVq6uajwZgy2KBSWGJ3zAZuvhfJGRMooj3uAo 3877
slither/detectors/variables/unused_state_variables.py sha256=pDCkk_3MWm7EzcLUxdo1uVvLxf5EBSAfl-_ssAvZNJg 2812
slither/detectors/variables/var_read_using_this.py sha256=1JuszrUU8h7gsgeFuLTM_I6Hh1Twjdcc7GIJFEy3yNw 2248
slither/formatters/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/exceptions.py sha256=kq5bAH1zpE5r7z2rhGX9QfDbYoSTvQft0G48VmlTwm4 149
slither/formatters/attributes/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/attributes/const_functions.py sha256=OuTipmlyGvBSvDHGiKZFQsu7uMkCUFoqox97LSsKBls 2116
slither/formatters/attributes/constant_pragma.py sha256=n5X9ylEJkNJ5EO07hhM5oQ1zz0-m0HVqLAPC-v1NgYE 2805
slither/formatters/attributes/incorrect_solc.py sha256=iTP7FuR6V9QSTdYpBieAMfxiIoC-dcB_UYBkx1HiySU 2369
slither/formatters/functions/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/functions/external_function.py sha256=bXIp1zeo9C1RNbT_Lf2zY5N-QCzOBePgmlAqU4ffcM8 2497
slither/formatters/naming_convention/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/naming_convention/naming_convention.py sha256=KKTs1NVIk9E7cX1iaLJelW5OZvqrMhtGvVPNTxILeR4 25464
slither/formatters/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/utils/patches.py sha256=U3emaZ4p5g-nWdXNbA4zmzPDGvXwVP9VuwiB17WsvfY 1859
slither/formatters/variables/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/formatters/variables/unchanged_state_variables.py sha256=n-JX73S1rgL-YVBr7vOzrApEwzXK1pb7xU1MwWjyJIs 2027
slither/formatters/variables/unused_state_variables.py sha256=L8zEh5nsFDa2VPd9-4NxuvqDbZR-Gdxuz7B-kEviVQg 1153
slither/printers/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/abstract_printer.py sha256=nUbmG3MRg7SXZe1NxjrFCNwiurGJEJrw8d8botbbZ2A 1746
slither/printers/all_printers.py sha256=R4vmNTMtIyprdZF5X_LWByArleehRLwYo5wjT0lSnYM 1099
slither/printers/call/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/call/call_graph.py sha256=nC9Qiu4pv4Zb92GQTDeeSYmF_u5a9j3QARj_n1jE16M 7767
slither/printers/functions/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/functions/authorization.py sha256=kj_HGykNdVEx8GIgbqTFpjaGwKSUE10EamaIuknNr7g 2412
slither/printers/functions/cfg.py sha256=NZTXVgaa5mQb9x14XiLC8LpOG5Eg3R6qaMS0om1wphY 1271
slither/printers/functions/dominator.py sha256=BR_3Jap2ZFe3ur6IOj7KScd7X6F59lbqdn53I3UuQIM 1153
slither/printers/guidance/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/guidance/echidna.py sha256=-KAhVs27eVeBKqOXs2Xg2XntVRHjGTdQcsJv7kxXZ4g 16864
slither/printers/inheritance/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/inheritance/inheritance.py sha256=rZkpdKsQlDfS06Of5lrBM53tzqyp5oSf8kTpwbUC1ys 3117
slither/printers/inheritance/inheritance_graph.py sha256=aOjJkBbWY7A4R54GYlY5E3Oa8VdJsr5VTIEB7didLqg 8331
slither/printers/summary/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/printers/summary/constructor_calls.py sha256=KfkbbnyzvahiKfEOXnp9yC3a5kp--l-p184-8-gF8kg 2292
slither/printers/summary/contract.py sha256=0COxA8uxlrVxToGzkODOZ2F5glIZ4joVnAouava48o4 3327
slither/printers/summary/data_depenency.py sha256=HttQDF02spYAX5XTHjjpILBlNZaIAzw1b3ECRA11Y2k 1983
slither/printers/summary/declaration.py sha256=RX0SIpC2tohJhugNLFCJA5SNC5dMh8pv9DgvBKuqdu8 2675
slither/printers/summary/evm.py sha256=D9v-2YU6xetEALCCbHwjGKyWMufkQ4U4ge8u_c6ILjo 4900
slither/printers/summary/function.py sha256=TzrLb7IsESHlGX5HmGKCbO-5BBhBYLKKBwej57uXeqc 3534
slither/printers/summary/function_ids.py sha256=XYvfqlh-4qg56ohNFnNeTwZ7P9CaBfp9jhB4UWIxPMM 1698
slither/printers/summary/human_summary.py sha256=9_7TEUdW7S46s9sm1eybb15xGwdiuaHSqolUtJr0sEQ 15234
slither/printers/summary/modifier_calls.py sha256=_BUwxyZu27eGlzFfzl2lsYNOypsNbFtJfS8_8tmKiVg 1578
slither/printers/summary/require_calls.py sha256=8SsxJM04l_QqDS0yXCNi6O8bjlrB3RUchmcPEq1pDrc 1939
slither/printers/summary/slithir.py sha256=ETI4VPTequ7DWFo0psH0ojFG9-G_rSOoYE3AzPAM_Wc 1945
slither/printers/summary/slithir_ssa.py sha256=OG5jMpQuHPTaHDMWOjj14qLoc12IsN4A2FuWcx8pQjU 1711
slither/printers/summary/variable_order.py sha256=jkFM-nJNOLcZYyxROwGWNYMQN0dTy1VvtTQiX30Xois 1334
slither/printers/summary/when_not_paused.py sha256=bnYPADvNIErhFlnCHbjY3_3mUm1gghdaSdABT8t_zBc 1918
slither/slithir/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/slithir/convert.py sha256=eXLlwzOctVwGzQWqi-S3bVH57fCeUS1i6Zg6f5z2jbQ 72250
slither/slithir/exceptions.py sha256=nrs8ch4QUv8Rp7x48f-mt50yNYtEWgI5w2hvs1AYsIE 97
slither/slithir/operations/__init__.py sha256=_Uzah6UTIIBBQb7-lDs544Rdfc9Y9ko3R2ZPXqbBlx8 1073
slither/slithir/operations/assignment.py sha256=rm3Js8cUSK-OtWVLUj50gsnrBmAtc6jNz53_lzPYVwE 1538
slither/slithir/operations/binary.py sha256=cJwg2SAwrhJEO1Ey9aUxC8KY7qtb9WzFKoQMElQ3ltU 6166
slither/slithir/operations/call.py sha256=bsWR-DrSBCiGK2GlVtW6sVloHtsLpRfexKvQcJ1JT18 763
slither/slithir/operations/codesize.py sha256=kFqBqZiN6zm4iXi4Uv7anidzHVuu8FAz-66pnRHh8zU 693
slither/slithir/operations/condition.py sha256=Rop76k7s3dCngaa6LcxstVK6AYeP7UTJR8pD-6ASFcI 547
slither/slithir/operations/delete.py sha256=Kg3mnC9EjCTxT6cGSQWyXWjnp34MEs3M87njwL9llxo 653
slither/slithir/operations/event_call.py sha256=p1VzKmrgjFeMVJ__41snKrBsaXj-YP6tZDbDSphfhSs 463
slither/slithir/operations/high_level_call.py sha256=BMSRQfkVfn0CTaKZNKA60lQiYb0ZAuQ-yU0vbsOb5Uc 5965
slither/slithir/operations/index.py sha256=4_dirEs4ejikMdx4-OHsxL7Fd62woYhdg40ok35iJtE 1240
slither/slithir/operations/init_array.py sha256=_bEP2I8Av-dRVsltpoU4hM5uLynAT_tPZ3c-U4wz_TE 1170
slither/slithir/operations/internal_call.py sha256=x3TVENa_y_9wOVZ3lmFmKzdlG6voSn96p8cSFsrvN3M 2675
slither/slithir/operations/internal_dynamic_call.py sha256=D1W9jaY9FKyoCNWpMCrY5si7fnniE03LM7uxFnrTbb0 2193
slither/slithir/operations/length.py sha256=Dzyn5f7trLMqjfd3umg0YfBcs-oMgsuacJdscJJnC_o 689
slither/slithir/operations/library_call.py sha256=r0SaD6OA_M5UJtqUgGIJKt3O815PKYrirjzQwD09PIY 1771
slither/slithir/operations/low_level_call.py sha256=ck6bsJtt2xAuitDlpvOBFK4tIPjWbIyPHkn0HHgoijw 3143
slither/slithir/operations/lvalue.py sha256=Ey0snq-5_TK5VzXAZ-NYZov8LfnQvPq_DXLI_CwClXU 445
slither/slithir/operations/member.py sha256=d25LTue-jU78LUaNu4P8xOLBzUdkF-z2eyVCVe47XqA 2252
slither/slithir/operations/new_array.py sha256=9COSt0ZAhJah-42c0HVCBPNQuDd74GVVeIGYqQVh3x4 809
slither/slithir/operations/new_contract.py sha256=IliLCcPFzqGUq3I_1JIyRHv9y0kjDVsadq5XQaIvKHU 3065
slither/slithir/operations/new_elementary_type.py sha256=2gwR2UvgGrL0Z2oijAPNwvJouIdLWL2oLjJFF7dNcpo 790
slither/slithir/operations/new_structure.py sha256=fSa_eDUXZJVjZm4lPdHIP13Un4dVW4ziYDHsgOo4rHk 942
slither/slithir/operations/nop.py sha256=XwZ5VQ8ajzlpJ0XpmGVmyt_cmVdJ-68eA7aFELZgqTE 207
slither/slithir/operations/operation.py sha256=nU9JrEcVKg5LYKxhiBOQgq-bbl06TqQvsWz_urgVMIY 913
slither/slithir/operations/phi.py sha256=8XtFbLtfJUgayzkSNPYwOAypdnKcVGKbIsgtQgegW4o 1063
slither/slithir/operations/phi_callback.py sha256=kuSWS_uoDJHnW1JevX0lEiGbiC1AVNeXrWYYsvxctYo 1055
slither/slithir/operations/return_operation.py sha256=mgC04OLTv148_1vrgJqmwLOI_bsCQDt8y6VDLjoabpI 1575
slither/slithir/operations/send.py sha256=Q8l7yZB-seduwc5caeWxzzyZRBwTFrE1z0gX5rrllRU 1061
slither/slithir/operations/solidity_call.py sha256=FGF5YwKxyTuVTvTAdG9Lax0BGIsMEGcm44J6SbpiIJI 1590
slither/slithir/operations/transfer.py sha256=9CiaXu5RpeEtfAlyolh8YYxyYf6OJcGjsYJkW096Nlo 823
slither/slithir/operations/type_conversion.py sha256=jIMg6Mc_WiuSZWcnRBWrnR8f_ZeNA-LK8hh289nhrW8 925
slither/slithir/operations/unary.py sha256=-ooCBRwe6YoY_exScQfGxpu5BJuTzq0irPH6rTAgPKE 1518
slither/slithir/operations/unpack.py sha256=3XSJPadnZTcE3gz1Pb9knwn_jY8SjIny47zDEEpZBa8 810
slither/slithir/tmp_operations/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/slithir/tmp_operations/argument.py sha256=VJfKYM4nEEz22WZA08OwRRdCpeuQuxEfOaRGGPyhIXk 963
slither/slithir/tmp_operations/tmp_call.py sha256=zfPxGYiCSAR2xM3fdsdiEKsfYdUyBvUykiJa7nTGza0 2204
slither/slithir/tmp_operations/tmp_new_array.py sha256=4sJa-dmqqy-ujiJ5iC1GTAFvITTqu2amMhJtmK7hCos 665
slither/slithir/tmp_operations/tmp_new_contract.py sha256=Xs0pYZgqJYUph6mTBb4BPlSkGkSycnG0seqkkVAxlXU 842
slither/slithir/tmp_operations/tmp_new_elementary_type.py sha256=SwxEbymlaP6mjH4mOT7o51_RTEr0bfSYSBd0LetEDnM 648
slither/slithir/tmp_operations/tmp_new_structure.py sha256=XG0X52xWNDZAh36qYFBYBn_WUPBL4JVqE86ft8gvyOA 478
slither/slithir/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/slithir/utils/ssa.py sha256=iF81ZuKstcI6_QsMzeB5tH1WvOwXWmiL2EVjRic4q7Y 32701
slither/slithir/utils/utils.py sha256=kM-8Nggkpc_iT16nxflfx7qZUYhbJcr0hoxhEEM63R8 1036
slither/slithir/variables/__init__.py sha256=11eFjuqWmw0Zfk6xKctmxp36h_vxZV8lL72QEuEAjM0 370
slither/slithir/variables/constant.py sha256=yRx6zljk3g6GqPA2kAeIrE1PBKMjLvTzOQes_lrbLcQ 2297
slither/slithir/variables/local_variable.py sha256=sP9tg64-uP8p4LMfmBk2zjmmWYkc3RYugjHJVI-jTSc 2235
slither/slithir/variables/reference.py sha256=ac6mPRexHbiT44m8azA2U_Wx1YCCuxxat3bwleqONMk 2002
slither/slithir/variables/reference_ssa.py sha256=c6jKLLcq68q0b5DNDHdy3UHdT5sOgI5dZIPS-Aewi5I 551
slither/slithir/variables/state_variable.py sha256=rxEuyWGu9Wd4cWOp4OfhyREgMuAX4NjNCkSc5SWfHNs 1327
slither/slithir/variables/temporary.py sha256=wxPKC_cKbcMuMVY7X2MGg-VApdgrZWi7MMmPkMRdQ2M 819
slither/slithir/variables/temporary_ssa.py sha256=PxLTNqwPtar_cYfr8H3D68lhM7NnK-fTudgPBs7HLCc 551
slither/slithir/variables/tuple.py sha256=kgmWOJ17uNLz8PE4If3dRJ8yLXbnW6-_T4mPshW9rG0 827
slither/slithir/variables/tuple_ssa.py sha256=L4_9L6vuTmugTBf_Ek89ZYmZPLWEvZ-y-9K1dH6zBV8 499
slither/slithir/variables/variable.py sha256=rf1xBcO3_LBSPr8nfjqsJcvExou7z8_QFV6AcZKyv7A 352
slither/solc_parsing/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/exceptions.py sha256=raUjkmODkyBRHYno4qGhIv1zoyJ-0D0ns7fAWXnZKso 150
slither/solc_parsing/slither_compilation_unit_solc.py sha256=DzCyJ3eBVdcjhXqnBjxGkUkPZwpY6OtOrSe99yOvfQg 33230
slither/solc_parsing/cfg/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/cfg/node.py sha256=YWBAl1mW-KY35JFJiUnrPjZy0OO4nbd_y0B5FBmst_o 2761
slither/solc_parsing/declarations/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/declarations/caller_context.py sha256=4yiJqFvgEkAQJcflXcgDeWIvCtxES4bZq2k-zLzfajU 913
slither/solc_parsing/declarations/contract.py sha256=Tzou0GsqwCaEBPYZTJ4Z6IMNNYTz3ctGEFk3Wwbf1eA 34641
slither/solc_parsing/declarations/custom_error.py sha256=L3YyA3EshrsdNupPSymiqjvG40ZwvndIN6_xzkfqVic 4157
slither/solc_parsing/declarations/event.py sha256=CHQLs0AqikGO6smMvpaPYhgfADdA4cOjBLDyWrGGj-Y 2087
slither/solc_parsing/declarations/function.py sha256=_D4Fx5Te7FjZJ07_UgBwQ-0n_n5K0_6U442T0PfB_yY 60777
slither/solc_parsing/declarations/modifier.py sha256=2F7iSZ11XkHdVGXIiusIeAgvdAXt4psjgUXCbJhybuc 3662
slither/solc_parsing/declarations/structure_contract.py sha256=kkVo8AdVn-OKIwtRRrLIWextH0FCLdUOaXNSoOJrYH0 1909
slither/solc_parsing/declarations/structure_top_level.py sha256=ul4ljEJnLm0M7fXRWn2O83fCdiipPH2HrSHup7-GRBw 2594
slither/solc_parsing/declarations/using_for_top_level.py sha256=bKncgaPPr9Yuj3vsgLf6g1SHpJs4jUC0HsoSqhz4fBw 6683
slither/solc_parsing/expressions/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/expressions/expression_parsing.py sha256=08KDeVoRd-Oj242-Bb7EODJ1rDdj7pLHFftPXPPpHoU 27069
slither/solc_parsing/expressions/find_variable.py sha256=GdPKJ99wnPiG2jhh-Xra-XiRdfpRI3o71F9jWZgBlLg 16780
slither/solc_parsing/solidity_types/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/solidity_types/type_parsing.py sha256=ukTM3nytjrvxZ1IJNSp9gTucoWdom5UN6qqYdROxNsc 20012
slither/solc_parsing/variables/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/variables/event_variable.py sha256=UJYQYNFTujm90ojN-PXmn-KFc6iuQ-Dv8poNYEbjm8o 983
slither/solc_parsing/variables/function_type_variable.py sha256=rN-oKH_D30X899Xcbdx0MX0m9rhm3KVYKGTtTNEUQPI 602
slither/solc_parsing/variables/local_variable.py sha256=4O6Xl6Hqcw7-QzNSASDBVwYGWX4OtOSyB8blrAGLbZg 1252
slither/solc_parsing/variables/local_variable_init_from_tuple.py sha256=-gRCEgMAYHM1IcTZboZ6HEdZ56r1_9MGAuoFVLwYUTY 689
slither/solc_parsing/variables/state_variable.py sha256=YYushDxCzJXxcCO2EwraEdNZ6fLZgyoSJdx88CrGzNs 559
slither/solc_parsing/variables/structure_variable.py sha256=z9V-HFmEFLDHSpkemyO22iOsy91anADErf8sIm2I0Wc 583
slither/solc_parsing/variables/top_level_variable.py sha256=aLLP2dNNWtadZffM6ajN66zWiqb-S1aN0-n9-KwgwQU 1438
slither/solc_parsing/variables/variable_declaration.py sha256=-JK5efQ7XLrWUcA9a6-rvlX01dd6HK1qTARcnjEhKc0 8123
slither/solc_parsing/yul/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/solc_parsing/yul/evm_functions.py sha256=UzZdsVzjoFhg7aBAOKur_x-gYrS8dqAqMEy2q9UeO4A 5287
slither/solc_parsing/yul/parse_yul.py sha256=F63vjVyVv6i38tpbSr6FEeSuD3hgzaCARc71CjvmAYc 29865
slither/tools/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/demo/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/demo/__main__.py sha256=HJ80KrvQjQaUR8O6j5zLGoDplgJYNjSD5AZOwoCff-Q 927
slither/tools/doctor/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/doctor/__main__.py sha256=d2GrtLucIyKTqysGUTpYNz3YjtTDFuTVmmOqQPHhHr4 1017
slither/tools/doctor/utils.py sha256=0qrnF6bjqcjMDt2yx9y0KD8LGRiN8_nv7AAI1bJsC2Y 774
slither/tools/doctor/checks/__init__.py sha256=iCwbPzrHWSXzG1jHIwl1uu38HROs0P_FozBVuOMeAC0 585
slither/tools/doctor/checks/paths.py sha256=aupXOFkAmduuo1lgl5-bSuMG3GusZaFIr-r-uUZGg84 2857
slither/tools/doctor/checks/platform.py sha256=mrhX0uomU8OYeojU4qvYjrpi4SrDOkl_5eox2W-N3-o 2249
slither/tools/doctor/checks/versions.py sha256=9XjxGw5Iq_qeQ4d7OIeHKQ4-J8z-Y7G93RmXgs4ku_8 1816
slither/tools/documentation/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/documentation/__main__.py sha256=9E8y_PCXi5oDMBQOcZ3vaH579DosXYxlukN_uwzADz4 8245
slither/tools/erc_conformance/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/erc_conformance/__main__.py sha256=1rrMfTBhjHEBApRKIOHz_nNCPP8N1rkO-wmjFVuUZO4 3000
slither/tools/erc_conformance/erc/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/erc_conformance/erc/erc1155.py sha256=R8pdylpWmQY_a89SIRssv4WW5-ebSydrzxwT7YSMjbE 1945
slither/tools/erc_conformance/erc/erc20.py sha256=drhftyrIZN3JN6qbIRmh-aFeF1kUXzRoo2j4R7-0ZM8 1220
slither/tools/erc_conformance/erc/ercs.py sha256=ZMp8zW2H8Slt6qvCenrQ65LVF7ZYl5X38uGxUrfvlig 7555
slither/tools/flattening/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/flattening/__main__.py sha256=LynaeqFpH7tP92PdHoKywQNShYIqbyCqc-HVMoa8bkk 3903
slither/tools/flattening/flattening.py sha256=rIdUf6FXYZsQTtOM8fwhQOqWbZ-oqvTc1T1T7Rrk8oo 19871
slither/tools/flattening/export/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/flattening/export/export.py sha256=kKK6-g8w354ee_IA11XFE5rjlXYWcFLKnACCdAWM8Ww 1459
slither/tools/kspec_coverage/__init__.py sha256=ShRrIwAB6JSbk7DxEeGj2yZmFBp7znrjkDN2VbpCpfc 36
slither/tools/kspec_coverage/__main__.py sha256=S433RJ_sgQCLl-qGLCaMhGsK-SHPj_BvwI8V-XzlCBw 1820
slither/tools/kspec_coverage/analysis.py sha256=b1YnAKYt2oL6pIMLU24bB3katDgfIRArdBDEy60mglE 6090
slither/tools/kspec_coverage/kspec_coverage.py sha256=p0Ot5Apx3QtJzjyDxvSRIczcaswe7DdvWzHSjYBYxS4 534
slither/tools/mutator/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/mutator/__main__.py sha256=95iVrX0ygKnTNhPHt18MFJveXHtt_UCWpysrgy_IOvQ 2565
slither/tools/mutator/mutators/MIA.py sha256=pPMDe3T6WjBLmgdlodODNfZ0T5tDqLD6E78U_4PwL50 1382
slither/tools/mutator/mutators/MVIE.py sha256=KLFz4XiOGJHRl5QIowM9Fj2uBP3iztBXS0Ejm-1x2ZA 1336
slither/tools/mutator/mutators/MVIV.py sha256=J_oVPMQa7UqUOBb9okr84D7xPsGEcQ2cMqLejzs6DP8 1322
slither/tools/mutator/mutators/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/mutator/mutators/abstract_mutator.py sha256=ZcZ_3VWsHz0xQA2D2QaS0pfgK2r1mPx8qYgu_X4hA7c 2856
slither/tools/mutator/mutators/all_mutators.py sha256=-mXPTKOtAh6gfYJN7BK-RUy64g5RFd0S47qwpqj8XGk 189
slither/tools/mutator/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/mutator/utils/command_line.py sha256=y4b6cLxa1T_ULYCfKbR3DoySsz2HABCRUhVqsRsoZcI 826
slither/tools/mutator/utils/generic_patching.py sha256=tKAsWMTzSYxrZPJRKxl991I-xLG5mlJrpt_EeQEfAnM 944
slither/tools/possible_paths/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/possible_paths/__main__.py sha256=Eki8jjg2a6hH6MyFpfr0pjCvIp5ATf-dJn5uKscIq-o 2844
slither/tools/possible_paths/possible_paths.py sha256=jBwxxU2KYw4fEo0vERqxIJZSIyYvfe0GjoJ1VyiAvlc 6290
slither/tools/properties/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/__main__.py sha256=N9cc5CbvvyJtyAUp4jSaqEvyWkHv2CW8tlG7lEqayKM 4232
slither/tools/properties/utils.py sha256=RB-ui8REi-UEr8BLqqaRUcnBT6p1__QJq-VMyjWXWNY 1130
slither/tools/properties/addresses/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/addresses/address.py sha256=ZFG9vIKPa7q9b5DuHcEEuhBSMrDcQjkft1salFZVX-0 740
slither/tools/properties/platforms/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/platforms/echidna.py sha256=KglcSTzFFm2PAcaRFr22sbnWNwmuO3dYWVEeAOiPBtA 683
slither/tools/properties/platforms/truffle.py sha256=UIoPBTNcsZ7m942hXj5-Dfoli8dmzXImIQpvGVv-cPI 5766
slither/tools/properties/properties/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/properties/erc20.py sha256=B3oNk1IqAZOFj_cPOftxg9fiVR_kl8x1An7KEZ2E_aY 8234
slither/tools/properties/properties/properties.py sha256=Ag0clfOif372lbgjAtxG2F9XJC1GZ0RekLVAjGiKv-Q 929
slither/tools/properties/properties/ercs/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/properties/ercs/erc20/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/properties/ercs/erc20/properties/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/properties/ercs/erc20/properties/burn.py sha256=aStznffKLs4Lh0xGMt0mlsvnxDZQ3GrFYXD3lY9xKbw 1058
slither/tools/properties/properties/ercs/erc20/properties/initialization.py sha256=ot_FJA-fyjQFMR-VHNvUOyCjl0M3da-MRvnKbOTxPD0 2656
slither/tools/properties/properties/ercs/erc20/properties/mint.py sha256=Li4tqRNYzWInpypIQRL6zPoR62uSqbTGjeVR8Pm6o9E 565
slither/tools/properties/properties/ercs/erc20/properties/mint_and_burn.py sha256=B7XdBaZg5ADvyTi6MGGrpU30x71PbImsWMsfHRuRjn4 585
slither/tools/properties/properties/ercs/erc20/properties/transfer.py sha256=pzqC8zSko1-vG6xFNVdBqirzTMjMRcFJGHgcFm3fjHM 8295
slither/tools/properties/properties/ercs/erc20/unit_tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/properties/ercs/erc20/unit_tests/truffle.py sha256=YiKQHrriXUAoUGFxKp_DT0SEOxYjaE0TarJh2ngIohE 1507
slither/tools/properties/solidity/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/properties/solidity/generate_properties.py sha256=W528hyofbGRrbFKTM0GdfjG14C-fGfREjDS8PFOOLYs 3009
slither/tools/read_storage/__init__.py sha256=yntufjVphKDtvEerl-4UD20twKWM9fIrEpsrqM8vs90 45
slither/tools/read_storage/__main__.py sha256=L286vcZh-FUk0VG3l0H51pJqFeHcZ2bSd25ADlm8ph0 5119
slither/tools/read_storage/read_storage.py sha256=EYZFNlp-_HV_kKkrioTeG39Xw22REVzlZgCqqu09dVc 25335
slither/tools/read_storage/utils/__init__.py sha256=A_cC9BS2rkzzc5DGtQAlQmdvXvmUKMekIJKtF8iiE50 84
slither/tools/read_storage/utils/utils.py sha256=-S_wdRdpsQhyOZ2Iy7kCyZho3OQNHHovGl246MypYeI 2448
slither/tools/similarity/__init__.py sha256=INbTbS7G901cgfufSUTwQja-0eDYRRMLC2pVrmhaK14 30
slither/tools/similarity/__main__.py sha256=iX6htd4fVt17BreOAtIL5mZM3XC5IanfKm7IPb2Zfiw 2701
slither/tools/similarity/cache.py sha256=oGqDVRSSyonD8vplrsSu9cihbKGy7eodN5iEY4ULlb4 552
slither/tools/similarity/encode.py sha256=Cl1n7uZypBF7ck_MWSQ0TEFIcCp3XiL7d7Bdh9AyFi8 7643
slither/tools/similarity/info.py sha256=SziMrS7dIsL3jvraYN_VhXXw_uRzJ0J-rmrKDn27cZg 1538
slither/tools/similarity/model.py sha256=xJdxQU3i_rk-6ckt6v_tbqmEeLGh0gJ6WYrFx1tYTI8 357
slither/tools/similarity/plot.py sha256=Do9bzhkzrrhYK1IjIPMWGfj1QGWSGzPch7Mq6n-fuqY 2542
slither/tools/similarity/similarity.py sha256=UPuKHLYeg_t8jXdU3TVeblFmE6QRYN_ldtzI_h_02Bs 316
slither/tools/similarity/train.py sha256=L_ivnLBIScD4BQi97uaQFPuEKwgdTshevBmaeAQiPlg 2018
slither/tools/slither_format/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/slither_format/__main__.py sha256=hzcnW_KMBBapwD535sfqe3Bkpd-X4dJmUJOOpAObKL4 2975
slither/tools/slither_format/slither_format.py sha256=l6flRndlSkvAGaEnVQYm_oMQQ3GMkTbqQMscepoUovk 6791
slither/tools/upgradeability/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/upgradeability/__main__.py sha256=e3CeJpSKj4Jjx-Gzn3k7KIUFMLuKNWOVMDXRDKuyglo 13249
slither/tools/upgradeability/checks/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/upgradeability/checks/abstract_checks.py sha256=Y0rMh7VXLzwa4JCEl5JcUwiEPVJQU1BZ3BQdfw0fICc 5037
slither/tools/upgradeability/checks/all_checks.py sha256=YReE6q9AiWNKnJaziQ3tOifGt2aPDLmmVlX5GK954tc 769
slither/tools/upgradeability/checks/constant.py sha256=Twdkyyq6eaECvV7Bem0zJ2zSyBVvElMCF78yrCeBtAQ 5612
slither/tools/upgradeability/checks/functions_ids.py sha256=dsHF4DkaOqhMclQlctRKZn7_Em0tFlNWfz0PlaLpVes 5427
slither/tools/upgradeability/checks/initialization.py sha256=DOFqBv7S74ZYCdFluYFZUr7jR47Ee3lr9PXyH_2YHVM 12131
slither/tools/upgradeability/checks/variable_initialization.py sha256=ZBixjo7OxIrpzuSb7tybeblCjy1IWtA_knr-avumdQc 1415
slither/tools/upgradeability/checks/variables_order.py sha256=bQlXNtlsIP5R1-xPCKPazgbJSmn6n_zok3xhzAPhyRo 8456
slither/tools/upgradeability/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/tools/upgradeability/utils/command_line.py sha256=AdZmT5Pf0c6HmRyax92CpCXURmiLzhUTy--gLkDzDEY 4819
slither/tools/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/utils/arithmetic.py sha256=udUrQwFtHQM_zl5VwNna94hzqnC6A5v1V133MSKsWp4 1163
slither/utils/code_complexity.py sha256=1D9vv_aghWfC2_7ZT-dptlFKTNV4wyve1Q7KL3b6eUs 2197
slither/utils/codex.py sha256=gu53JQVpUg8McjokMq9u7pnBEzKoULG_H8A92GTBLXc 3387
slither/utils/colors.py sha256=K3UeFk_bpUAbOTeFO-LDLlfLqrmveFiwZpkhdbxUBUQ 3305
slither/utils/command_line.py sha256=wO7Z9e0rJAlt1_AF4XFVKxq6zUiThRpQ0dQ7uLClWo0 12940
slither/utils/comparable_enum.py sha256=qily52tzPYTIZ2DWCRkUn7bE0RIJUNFcPeqjLY9mrxE 638
slither/utils/erc.py sha256=bwnRxy0psaDYl9I0Xg-GcYvZFFdlQ3juqpooTXeHSkA 12953
slither/utils/expression_manipulations.py sha256=l---OUHzI2pY2_NPFqodM6wDVLM-_YUZerf4zjuhGvk 8621
slither/utils/function.py sha256=aGd4maTxpOEZo9YhiebJn94qzu1_Qz3YBdDLQOgwAy0 326
slither/utils/inheritance_analysis.py sha256=Le9uQKg8cMy4Tqy-8DH9yn3JBAPVINtW1JwtE3ek0BA 2919
slither/utils/integer_conversion.py sha256=xCGkTVzGrRxcDjENsBD-bPDuxdheFyee7-kAhIhVSRM 1252
slither/utils/myprettytable.py sha256=mETQBeB63vgAJAIBTuQ4nm_WhA9__1_4LqJnyBodyro 641
slither/utils/output.py sha256=vAA31wmaW9E26UwhbR2lgCG-MinOZqtJk3PXeN3cKtM 25854
slither/utils/output_capture.py sha256=x6indM44hkM0Zs4dNoif4Ntz_WBJmQz11G3tU4xkBgA 3225
slither/utils/oz_hashes.py sha256=oC-Iixvv7nMlS7DbRHBUkFoTuuM0J22cuWQoLUSiffQ 251870
slither/utils/source_mapping.py sha256=y2RCT0vzgCPglzpr9V1FHttEO6_wuWhWnmS2hzIE3ng 2288
slither/utils/standard_libraries.py sha256=I4BD4u9Cv8r1_viZwqgztXRyu6kJiULkbhg-3VE5w2M 12133
slither/utils/type.py sha256=YVO1gEtHuDJt_6rZP9-OHk-6il-7w-9Pa3v0gsPh9-k 6658
slither/utils/type_helpers.py sha256=N_D0cX9nLmAled2C8FQyo3oCh5MG4wXjdemkyV1MniY 549
slither/utils/utils.py sha256=apgUrtl0mNCmjcV3a_kce889ztl79t0C4OZ2VRksakI 227
slither/visitors/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/visitors/expression/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/visitors/expression/constants_folding.py sha256=vPFAQJEw_-dyYjTaPrkpm4cXwV-jDXf76vxb5xkw2b0 6402
slither/visitors/expression/export_values.py sha256=hPtI4NneelLUIb8dz8DR40H5R9e-OutKke6g1VNCPSM 2828
slither/visitors/expression/expression.py sha256=h-B5LYB3822SIbnZVz2AteSJnVK4ApB2_0ja-yn0N1Y 11301
slither/visitors/expression/expression_printer.py sha256=uau8VZ8RSHVRilhNncoo_EvSpGttrfWv_0IYdHsQLYQ 3389
slither/visitors/expression/find_calls.py sha256=_Yp1bcc4wD5kEk6Tg3HpXJFAFInzsifAhCETrvGfETs 2975
slither/visitors/expression/find_push.py sha256=iMt9yHLcL2EKWlbPD_6FyiMbURzJGMN3LoB6xAqteRs 2994
slither/visitors/expression/has_conditional.py sha256=QmZFILxhwB934n7zgGdZVfPDxYkwsHHK29wUsKsFGHE 420
slither/visitors/expression/left_value.py sha256=l5dTTXPpWLS-iVKrYs_aDRfOp6l2AmexumItWKITKJQ 3483
slither/visitors/expression/read_var.py sha256=OBRZbRt7hVarGoHJELUYVtybVeiWdc8HtTTWnlwEwZk 3735
slither/visitors/expression/right_value.py sha256=IL8nm2MhP831wBNqT_PshjxHw1WQN7dbfsWRZqTaQqw 3730
slither/visitors/expression/write_var.py sha256=d0t9xKwpNcOqIE7pZfsOFujpeW5qAaNI3YSAyUy-x_4 4202
slither/visitors/slithir/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
slither/visitors/slithir/expression_to_slithir.py sha256=wdHd7BMXUxAuBsmzGhHQcejiEbHhrsN5Rcb2TzESi5U 24488
slither_tcheck-0.1.0.dist-info/METADATA sha256=IUw2_jr7aT2vsk8C8KyGcRMA21jfqrAkx3N2JCkIqqY 26435
slither_tcheck-0.1.0.dist-info/WHEEL sha256=KGYbc1zXlYddvwxnNty23BeaKzh7YuoSIvIMO4jEhvw 87
slither_tcheck-0.1.0.dist-info/licenses/LICENSE sha256=DZak_2itbUtvHzD3E7GNUYSRK6jdOJ-GqncQ2weavLA 34523
slither_tcheck-0.1.0.dist-info/RECORD