DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Improve evm docs (#816)

Browse Source 
* Add docstr for finalize

* prune unnecessary stuff from docs

* Add trace file

* Revert "Add trace file"

4687810e15c2bc6cc3e729c32bdad2f617679d77
This commit is contained in:
Mark Mossberg 2018-03-16 13:32:32 -04:00 committed by GitHub
parent eaa0e524b4
commit a21c8b6012
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/api.rst
View File

@ -48,7 +48,9 @@ Models
EVM EVM
--- ---
.. automodule:: manticore.platforms.evm .. automodule:: manticore.platforms.evm
.. automodule:: manticore.ethereum .. autoclass:: manticore.ethereum.ABI
:members:
.. autoclass:: manticore.ethereum.ManticoreEVM
:members: :members:
EVM Assembler EVM Assembler

5
manticore/ethereum.py
View File

@ -1273,6 +1273,11 @@ class ManticoreEVM(Manticore):
statef.write(iterpickle.dumps(state, 2)) statef.write(iterpickle.dumps(state, 2))
def finalize(self): def finalize(self):
"""
Terminate and generate testcases for all currently alive states (contract states that cleanly executed
to a STOP or RETURN in the last symbolic transaction).
"""
# move runnign states to final states list # move runnign states to final states list
# and generate a testcase for each # and generate a testcase for each
q = Queue() q = Queue()