From a4576009de02871ad5b1c7c966cb625222b15b24 Mon Sep 17 00:00:00 2001 From: JP Smith Date: Wed, 1 Mar 2017 11:06:25 -0600 Subject: [PATCH] switch pse_ prefix to mcore_ (#34) --- manticore/__main__.py | 2 +- manticore/manticore.py | 2 +- stats.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/manticore/__main__.py b/manticore/__main__.py index c4597e3..cdd1f92 100644 --- a/manticore/__main__.py +++ b/manticore/__main__.py @@ -21,7 +21,7 @@ def parse_arguments(): # parse arguments parser = argparse.ArgumentParser(description='Symbolically analyze a program') parser.add_argument('--workspace', type=str, default=None, - help='A folder name for temporaries and results. (default pse_?????)') + help='A folder name for temporaries and results. (default mcore_?????)') parser.add_argument('--log', type=str, default='-', help='The log filename') parser.add_argument('--verbose', action='store_true', help='Enable debug mode.') diff --git a/manticore/manticore.py b/manticore/manticore.py index 4e71875..c3d24a8 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -379,7 +379,7 @@ class Manticore(object): def _make_workspace(self): ''' Make working directory ''' - return tempfile.mkdtemp(prefix="pse_", dir='./') + return tempfile.mkdtemp(prefix="mcore_", dir='./') @property def workers(self): diff --git a/stats.py b/stats.py index 22a505f..bb7aeac 100644 --- a/stats.py +++ b/stats.py @@ -6,7 +6,7 @@ def parse_arguments(): # parse arguments parser = argparse.ArgumentParser(description='Extract different statistic and information from a manticore workspace') parser.add_argument('--workspace', type=str, default=None, - help='A folder name fpor temporaries and results. (default pse_?????)') + help='A folder name fpor temporaries and results. (default mcore_?????)') parser.add_argument('--pcfreq', action='store_true', help='Print out visited pc and frequency') parser.add_argument('--visited', action='store_true', help='Print out visited pc set') parser.add_argument('--bbs', action='store_true', help='Print out visited basic blocks ')