From 1b8b7f40407aac24ab2f706a40ea38aafc12fc99 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 23 Jul 2018 13:45:36 -0700 Subject: [PATCH] try same concretization --- bin/deepstate/common.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py index fe675b1..0de6ffc 100644 --- a/bin/deepstate/common.py +++ b/bin/deepstate/common.py @@ -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)