Pluto

A symbolic execution tool for smart contract vulnerabilities detection which supports contract calls based on Oyente

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
__pycache__		__pycache__
contracts		contracts
pyc		pyc
test_evm		test_evm
Demo.sol		Demo.sol
README.md		README.md
__init__.py		__init__.py
analysis.py		analysis.py
analysis.pyc		analysis.pyc
ast_helper.py		ast_helper.py
ast_helper.pyc		ast_helper.pyc
ast_walker.py		ast_walker.py
ast_walker.pyc		ast_walker.pyc
basicblock.py		basicblock.py
basicblock.pyc		basicblock.pyc
batch_run.py		batch_run.py
ethereum_data.py		ethereum_data.py
ethereum_data.pyc		ethereum_data.pyc
ethereum_data1.py		ethereum_data1.py
global_params.py		global_params.py
global_params.pyc		global_params.pyc
input_helper.py		input_helper.py
input_helper.pyc		input_helper.pyc
opcodes.py		opcodes.py
opcodes.pyc		opcodes.pyc
pluto.py		pluto.py
run_tests.py		run_tests.py
source_map.py		source_map.py
source_map.pyc		source_map.pyc
state.json		state.json
symExec.py		symExec.py
symExec.pyc		symExec.pyc
test.evm		test.evm
test.sol		test.sol
test2.evm		test2.evm
test2.sol		test2.sol
testTransfer.sol		testTransfer.sol
testreentrancy.sol		testreentrancy.sol
testreentrancy.sol:Crowdsale.bindisasm		testreentrancy.sol:Crowdsale.bindisasm
testreentrancy.sol:Crowdsale.binevm		testreentrancy.sol:Crowdsale.binevm
utils.py		utils.py
utils.pyc		utils.pyc
vargenerator.py		vargenerator.py
vargenerator.pyc		vargenerator.pyc
vulnerability.py		vulnerability.py
vulnerability.pyc		vulnerability.pyc

Provide feedback