Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
def __run_manticore(self, trace):
self.print('[.] Running Manticore')
consts = ManticoreConfig.get_group('core')
consts.procs = self.procs
output_path = self.__create_output_path()
manticore = ManticoreEVM(workspace_url=output_path)
if self.force_loop_limit:
loop_delimiter = LoopDepthLimiter(loop_count_threshold=self.loop_limit)
manticore.register_plugin(loop_delimiter)
if self.avoid_constant_txs:
filter_nohuman_constants = FilterFunctions(regexp=r'.*', depth='human', mutability='constant', include=False)
manticore.register_plugin(filter_nohuman_constants)
self.print('[...] Creating user accounts')
for num in range(0, self.amount_user_accounts):
account_name = 'user_account_' + str(num)
raise
import traceback
from manticore.utils import config
from manticore.utils import log
from manticore.core.state import TerminateState
from manticore.native.manticore import _make_initial_state
from deepstate.core import SymexFrontend, TestInfo
L = logging.getLogger("deepstate.mcore")
L.setLevel(logging.INFO)
OUR_TERMINATION_REASON = "I DeepState'd it"
consts = config.get_group("core")
class DeepManticore(SymexFrontend):
NAME = "Manticore"
def __init__(self, state):
super(DeepManticore, self).__init__()
self.state = state
def __del__(self):
self.state = None
def get_context(self):
return self.state.context
def is_symbolic(self, val):