How to use the manticore.utils.config function in manticore

To help you get started, we’ve selected a few manticore examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github VeraBE / VeriMan / src / veriman.py View on Github external
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)
github trailofbits / deepstate / bin / deepstate / executors / symex / manticore.py View on Github external
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):