Don't make concrete bytes symbolic, only wildcard bytes (#252)

2017-05-12 17:31:59 -04:00
parent 7700112d9e
commit 42955387a5
1 changed files with 9 additions and 4 deletions
@@ -164,10 +164,15 @@ class State(object):
            size = len(data)
            symb = self.constraints.new_array(name=label, index_max=size)
            self.input_symbols.append(symb)
-            for j in xrange(size):
-                if data[j] != wildcard:
-                    symb[j] = data[j]
-            data = [symb[i] for i in range(size)]
+
+            tmp = []
+            for i in xrange(size):
+                if data[i] == wildcard:
+                    tmp.append(symb[i])
+                else:
+                    tmp.append(data[i])
+
+            data = tmp

        if string:
            for b in data: