def main():
args = parse_arguments()
env = {
key: val
for key, val in map(lambda env: env[0].split('='), args.env)
}
Manticore.verbosity(args.v)
m = Manticore(args.argv[0],
argv=args.argv[1:],
env=env,
workspace_url=args.workspace,
policy=args.policy,
disasm=args.disasm)
#Fixme(felipe) remove this, move to plugin
m.coverage_file = args.coverage
if args.names is not None:
m.apply_model_hooks(args.names)
if args.assertions:
m.load_assertions(args.assertions)
@m.init
def init(initial_state):
for file in args.files:
initial_state.platform.add_symbolic_file(file)
m.run(procs=args.procs, timeout=args.timeout, should_profile=args.profile)
def main():
args = parse_arguments()
m = Manticore(args.programs[0], args.programs[1:])
m.policy = args.policy
m.args = args
if args.workspace:
m.workspace = args.workspace
if args.profile:
m.should_profile = args.profile
if args.dumpafter != 0:
m.dumpafter = args.dumpafter
if args.maxstorage != 0:
m.maxstorage = args.maxstorage
if args.maxstates != 0:
m.maxstates = args.maxstates
if args.coverage:
m.coverage_file = args.coverage
if args.names is not None:
m.apply_model_hooks(args.names)
if args.procs:
m.workers = args.procs
if args.env:
for entry in args.env:
name, val = entry[0].split('=')
m.env_add(name, val)
if args.assertions:
m.load_assertions(args.assertions)
if args.verbose:
m.verbosity = 4
else:
m.verbosity = 1
logger.info('Loading program: {}'.format(args.programs))
logger.info('Workspace: {}'.format(m.workspace))
m.run(args.timeout)
m.dump_stats()
def main():
args = parse_arguments()
m = Manticore(args.programs[0], args.programs[1:])
m.policy = args.policy
m.args = args
if args.data:
m.concrete_data = args.data
if args.workspace:
m.workspace = args.workspace
if args.profile:
m.should_profile = args.profile
if args.dumpafter != 0:
m.dumpafter = args.dumpafter
if args.maxstorage != 0:
m.maxstorage = args.maxstorage
if args.maxstates != 0:
m.maxstates = args.maxstates
if args.coverage:
m.coverage_file = args.coverage
if args.names is not None:
m.apply_model_hooks(args.names)
if args.env:
for entry in args.env:
name, val = entry[0].split('=')
m.env_add(name, val)
if args.files:
for file in args.files:
m.add_symbolic_file(file)
if args.assertions:
m.load_assertions(args.assertions)
m.verbosity = args.v
m.run(args.procs, args.timeout)