Fix for issue #642 (#643)

* version argument in manticore

* Fix 591 - Exception Handler

* Issue 597 - Remove the unused policy argument

* fix issue 642
This commit is contained in:
Srinivas P G 2017-12-15 12:13:00 -05:00 committed by Mark Mossberg
parent db80685758
commit aabfecfe77

View File

@ -690,7 +690,7 @@ class Manticore(Eventful):
continue
symbols = section.get_symbol_by_name(symbol)
if len(symbols) == 0:
if not symbols:
continue
return symbols[0].entry['st_value']