update for the claripy backend changes

c0lorw0lf · Dec 16, 2015 · b499a0a · b499a0a
1 parent ae11fcc
commit b499a0a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/changelog.md b/changelog.md
@@ -3,6 +3,11 @@
 This lists the *major* changes in angr.
 Tracking minor changes are left as an excercise for the reader :-)
 
+## angr 4.5.12.?
+
+Claripy has a new manager for backends, allowing external backends (i.e., those implemented by other modules) to be used.
+The result is that `claripy.backend_concrete` is now `claripy.backends.concrete`, `claripy.backend_vsa` is now `claripy.backends.vsa`, and so on.
+
 ## angr 4.5.12.12
 
 Improved the ability to recover from failures in instruction decoding.

diff --git a/examples/mma_howtouse/solve.py b/examples/mma_howtouse/solve.py
@@ -24,7 +24,7 @@ def main():
 
     # In this binary, the result is a concrete char, so we don't need a symbolic
     # state or a solver to get its value.
-    getch = lambda i: chr(claripy.backend_concrete.convert(howtouse(i)).value)
+    getch = lambda i: chr(claripy.backends.concrete.convert(howtouse(i)).value)
 
     # Let's call this 45 times, and that's the result!
     return ''.join(getch(i) for i in xrange(45))