From b7aca2196cbeaf39f08442d03e3e32f2533e5d53 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Mon, 19 Feb 2018 18:23:58 -0800 Subject: [PATCH] Add explicit `deepstate-manticore` executor script This matches the command-line API described in the paper, and lets users invoke the Manticore backend without relying on the fact that it is the default (which might change). --- bin/setup.py.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/setup.py.in b/bin/setup.py.in index 6639b37..6c217b4 100644 --- a/bin/setup.py.in +++ b/bin/setup.py.in @@ -34,6 +34,7 @@ setuptools.setup( entry_points={ 'console_scripts': [ 'deepstate = deepstate.main_manticore:main', - 'deepstate-angr = deepstate.main_angr:main' + 'deepstate-angr = deepstate.main_angr:main', + 'deepstate-manticore = deepstate.main_manticore:main', ] })