From a21c8b6012ec6d657a45f7459635c979bdb5de8e Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Fri, 16 Mar 2018 13:32:32 -0400 Subject: [PATCH] Improve evm docs (#816) * Add docstr for finalize * prune unnecessary stuff from docs * Add trace file * Revert "Add trace file" 4687810e15c2bc6cc3e729c32bdad2f617679d77 --- docs/api.rst | 6 ++++-- manticore/ethereum.py | 5 +++++ 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/docs/api.rst b/docs/api.rst index 2908127..54c75f3 100644 --- a/docs/api.rst +++ b/docs/api.rst @@ -48,8 +48,10 @@ Models EVM --- .. automodule:: manticore.platforms.evm -.. automodule:: manticore.ethereum - :members: +.. autoclass:: manticore.ethereum.ABI + :members: +.. autoclass:: manticore.ethereum.ManticoreEVM + :members: EVM Assembler ------------- diff --git a/manticore/ethereum.py b/manticore/ethereum.py index effcdf6..182cfb3 100644 --- a/manticore/ethereum.py +++ b/manticore/ethereum.py @@ -1273,6 +1273,11 @@ class ManticoreEVM(Manticore): statef.write(iterpickle.dumps(state, 2)) 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 # and generate a testcase for each q = Queue()