文件名称：laser-ethereum:以太坊的符号虚拟机
文件大小：469KB
文件格式：ZIP
更新时间：2024-06-05 08:49:30
Python
激光以太坊 LASER是运行以太坊智能合约的符号虚拟机（SVM）。 它可以精确地建模以太坊虚拟机的大多数功能，包括合约间调用。 安装和运行符号虚拟机 SVM运行Mythril Disassembly对象，而不是原始的以太坊字节码。 因此，最好与一起安装。 由于mythril仅支持python 3，因此我们在这里也需要python 3。 $ pip3 install mythril 可以从Solidity源代码或以太坊字节码创建Disassembly对象。 from laser.ethereum import svm from mythril.ether.soliditycontract import SolidityContract contract = SolidityContract("solidity_examples/underflow.sol", "Under") di
【文件预览】：
laser-ethereum-master
----setup.py(2KB)
----.gitignore(196B)
----requirements.txt(56B)
----all_tests.sh(208B)
----LICENSE(1KB)
----README_DEV.md(1KB)
----laser()
--------__init__.py(0B)
--------ethereum()
----README.md(6KB)
----tests()
--------__init__.py(1KB)
--------taint_mutate_stack_test.py(635B)
--------testdata()
--------taint_record_test.py(627B)
--------mythril_dir()
--------taint_result_test.py(845B)
--------taint_runner_test.py(3KB)
--------svm_test.py(3KB)
----.coveragerc(134B)
----.circleci()
--------config.yml(2KB)
----coverage_report.sh(293B)