dolabra

View on PyPIReverse Dependencies (0)

1.0 dolabra-1.0-py3-none-any.whl

Wheel Details

Project: dolabra
Version: 1.0
Filename: dolabra-1.0-py3-none-any.whl
Download: [link]
Size: 27686
MD5: 5c1c2f0b33c4077830db5fc6183d0571
SHA256: 4986b229c5cf405b1c40be12e915e8eb03cb05e61273db6c83ac9b06e2fe051d
Uploaded: 2023-10-03 17:22:26 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: dolabra
Version: 1.0
Summary: Semantic EVM bytecode analyzer based on Mythril
Author: David Loz
Author-Email: nicetry[at]gmail.com
Home-Page: https://github.com/davidloz/dolabra
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Requires-Python: >=3.7.0
Requires-Dist: Jinja2 (==2.11.2)
Requires-Dist: mythril (==0.23.17)
Requires-Dist: colorama (==0.4.3)
Requires-Dist: pypandoc (==1.5)
Requires-Dist: py-solc (==3.2.0)
Description-Content-Type: text/markdown
[Description omitted; length: 4211 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.41.2)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
dolabra/__init__.py sha256=5v5mVR1w40gLJ4GcC-FTuHF8YGkZ7qCwxoJz2zE3G6k 415
dolabra/constants.py sha256=HXYk-b8wfhatwexC1YFh2uixhEUySXkI8Ar7wK8g-DY 81
dolabra/analysis/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
dolabra/analysis/symbolic.py sha256=7FN5Zy0fL29HK7eBmrZSOf88CHxsejBrBYt6jrpYkCU 6144
dolabra/analysis/module/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
dolabra/analysis/module/modules/__init__.py sha256=B92KORGywgyW7TSMzLddSicbI-zDtSHBE3hXAhamDxk 315
dolabra/analysis/module/modules/basemodule.py sha256=Vflc25--bVrovz9xup1ubGnrWzkYPKAc5iGAD0I0p-Y 2053
dolabra/analysis/module/modules/getter.py sha256=pBKAwJQ8GyQ5TU9iuw0rOiU_yckZxUSFHys_i7usJRo 4221
dolabra/analysis/module/modules/loader.py sha256=KiPcQzhorFLg6ZS5wc8iMsoaH87Aq4QJbT9GSVX_imc 2225
dolabra/analysis/module/modules/payable.py sha256=SS9yalt3sduEDyQtRiXF3WpUMBXe7lCQAUJFiLK4Fm4 1499
dolabra/analysis/module/modules/setter.py sha256=K_neUnGH1H6Kc5Hv2PhfkVDv5N3n-zI1t2x6lRwZbo0 4039
dolabra/analysis/module/modules/storage_caller_check.py sha256=CuysYIXeEh1gcejpn2x7G9o2CuQTo82Sn-qFSqrv19Y 3522
dolabra/analysis/module/modules/taints.py sha256=AC3b6cShhf53mT8s1d6A9gVvzAI44cvtELlGcm5x2ts 4222
dolabra/analysis/module/modules/token.py sha256=Ng8ZQO3ryV2I_PsD9e8XUvxnPLkTdwmZCt-ZYFJ-Vb4 3497
dolabra/analysis/module/modules/utils.py sha256=VZd9T0YNjnidFE-rg2UP9iP-QGIxh1F-Nl5yk6IRkmA 322
dolabra/benchmark/__init__.py sha256=bF94tJwQH25Cg2GguGm_sdJNCas1jxiTN9lFmA7p5pI 468
dolabra/benchmark/benchmark.py sha256=Ovaha2pMl6kvJCDEz2UuX-rU4eHsMzuTatXEB50IMTM 3746
dolabra/benchmark/contract_repository.py sha256=hic7lKjj-CVLCZvdpp4pfgh_01GlPQSmAfnnI2FzzpI 1478
dolabra/benchmark/flagged_function_repository.py sha256=_1Z5od9-Mmne_I-lx8e6vnZLSwBPR_21nNRHEZAiLdg 1988
dolabra/benchmark/function_repository.py sha256=-4QFB2ngQd795es-lQmFPyXYRfT28ifM_ZWLYYv7i9g 2851
dolabra/benchmark/verification_db.py sha256=97dHvYzEnsuDkpQDTAYOjJ2jeKYLguHVN6hJ_rSRQiY 3392
dolabra/cli/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
dolabra/cli/main.py sha256=o7iM_tUuu8Ai36gDoSrCIcPzhpKHeFXPK0-V3SPGVF8 6555
dolabra/contract_loaders/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
dolabra/contract_loaders/binary_loader.py sha256=MPLIPkiZYLSXGohUYhSfnt8S313gn6vtL6g2udRyBfM 823
dolabra/contract_loaders/contract_loader.py sha256=a-ilJLCzQ2Ip_AXlux7nh-392Bwe_gSwnxBABO_MzvM 235
dolabra/contract_loaders/file_loader.py sha256=vk16zH_8oc4miVF9QSrttErQ_cu1Mryvc7qGRuUjqhI 560
dolabra/contract_loaders/jsonrpc_loader.py sha256=M8Z2Y-oFrJArwaynxg9moot6DaetcCorjExiJHGbfZw 1648
dolabra/contract_loaders/loader.py sha256=91GiE2yP5hLy6zZNcq7yeUEXL_WT7MAcngFQUeEsl0A 962
dolabra/contract_loaders/runtime_loader.py sha256=VviJfOftiuMJ-4xYCV2jrC8MWptKt0PdhrjSfagHDnE 772
dolabra/contract_loaders/solidity_loader.py sha256=vgo8ddwZnNFrREJkx0Z8ehaHyZzo1KQTFm5hBIJ7rrQ 664
dolabra/logger/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
dolabra/logger/log_manager.py sha256=s5tw3GSxw8mQxcL-lNqFasrz7nU_Sxbi3dMSrXI75hQ 841
dolabra-1.0.dist-info/METADATA sha256=Bm8UDszIM1f93k62r6e0jz9KYTtX_qjZTD0pmcovQZo 5068
dolabra-1.0.dist-info/WHEEL sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A 92
dolabra-1.0.dist-info/entry_points.txt sha256=mfzPy76PVflULMm3wYj_KWiAHTsUpk-qBH7HMWtZ6ok 51
dolabra-1.0.dist-info/top_level.txt sha256=ziRc701XcnqlHQbie4R_pzTcvTP0cCZr42FLrWODFKY 8
dolabra-1.0.dist-info/RECORD

top_level.txt

dolabra

entry_points.txt

dolabra = dolabra.cli.main:main