DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Move pretty printing into helpers (#299)

Browse Source 
* move pretty printing into helpers

* switch to using __str__
This commit is contained in:
JP Smith 2017-06-09 17:48:56 -04:00 committed by GitHub
parent aa798c652e
commit 1f8c4e18c6
3 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
manticore/core/executor.py
View File

@ -87,6 +87,15 @@ class ProfilingResults(object):
elif func_file.endswith('solver.py') and 'setstate' not in func_name and 'getstate' not in func_name and 'ckl' not in func_name:
self.solver_time += func_time
def __str__(self):
return '\n'.join([ "Total time: {} seconds".format(self.time_elapsed),
"Total instructions executed: {}".format(self.instructions_executed),
"Average instructions per second: {}".format(self.instructions_executed / self.time_elapsed),
"Time spent loading states: {} seconds".format(self.loading_time),
"Time spent saving states: {} seconds".format(self.saving_time),
"Time spent in solver: {} seconds".format(self.solver_time)])
class Executor(object):
'''
The executor guides the execution of a single state, handles state forking

1
manticore/utils/helpers.py
View File

@ -40,4 +40,3 @@ class memoized(object):
def __get__(self, obj, objtype):
'''Support instance methods.'''
return functools.partial(self.__call__, obj)

8
scripts/benchmark.py
View File

@ -2,12 +2,8 @@ from manticore import Manticore
from sys import argv, exit
def display(results):
print " Total time: {} seconds".format(results.time_elapsed)
print " Total instructions executed: {}".format(results.instructions_executed)
print " Average instructions per second: {}".format(results.instructions_executed / results.time_elapsed)
print " Time spent loading states: {} seconds".format(results.loading_time)
print " Time spent saving states: {} seconds".format(results.saving_time)
print " Time spent in solver: {} seconds".format(results.solver_time)
for line in str(results).split('\n'):
print " " + line
def benchmark(program):
print "[*] Benchmarking program \"{}\"".format(program)