From 2918e34a6f82fdb382167034b077a502ed1a1a35 Mon Sep 17 00:00:00 2001 From: Kyle Zeng Date: Wed, 15 Jan 2025 15:35:42 -0700 Subject: [PATCH] solver no longer has BVV --- colorguard/harvester/harvester.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/colorguard/harvester/harvester.py b/colorguard/harvester/harvester.py index 7a2977c..f4408dc 100644 --- a/colorguard/harvester/harvester.py +++ b/colorguard/harvester/harvester.py @@ -69,7 +69,7 @@ def get_largest_consecutive(self): # extra work here because we need to be confident about the bytes ss = self.state.copy() - ss.add_constraints(self.minimized_ast == ss.solver.BVV(ss.solver.eval(self.minimized_ast, cast_to=bytes))) + ss.add_constraints(self.minimized_ast == claripy.BVV(ss.solver.eval(self.minimized_ast, cast_to=bytes))) leaked_bytes = [ ] for byte in self.possibly_leaked_bytes: