deepstate
deepstate copied to clipboard
Don't hardcode backend in executor help text
We define the executor -h
text in common.py
, in the parse_args()
class method. It is hardcoded to Angr
(which I think is technically mis-stylized, since it is an anti-proper noun). Instead, modify parse_args()
to display the correct backend name or description.