manticore icon indicating copy to clipboard operation
manticore copied to clipboard

Update outdated scripts

Open defunctio opened this issue 7 years ago • 2 comments
trafficstars

Some of the scripts in scripts/* are pretty old and should be updated, replaced or discarded.

defunctio avatar Aug 10 '18 19:08 defunctio

I've changed benchmarking script into profiling script: https://github.com/trailofbits/manticore/pull/1285

Not sure about verify.py, extract_syscalls.py and stats.py.

disconnect3d avatar Dec 05 '18 11:12 disconnect3d

Hey, I would love to work on this issue

legendkartik45 avatar Dec 17 '22 04:12 legendkartik45