Merge pull request #82 from trailofbits/fix_file_ea

Fix angr error for file_ea
This commit is contained in:
Peter Goodman
2018-07-24 17:04:26 -04:00
committed by GitHub

View File

@@ -438,6 +438,7 @@ class DeepState(object):
return
expr_ea = self.concretize(expr_ea, constrain=True)
file_ea = self.concretize(file_ea, constrain=True)
constraint = arg != 0
if not self.add_constraint(constraint):
expr, _ = self.read_c_string(expr_ea, concretize=False)