Remove old claripy backends (#8)

angr · Jul 23, 2024 · bddc46b · bddc46b
1 parent c07316a
commit bddc46b
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 6 deletions.
diff --git a/examples/ictf2017_javaisnotfun/solve.py b/examples/ictf2017_javaisnotfun/solve.py
@@ -7,7 +7,6 @@
 from archinfo.arch_soot import SootMethodDescriptor, SootAddressDescriptor
 from  angr.storage.file import Flags
 import claripy
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 
 # This is a solution for the challenge javaisnotfun at ictf2017

diff --git a/examples/java_androidnative1/solve.py b/examples/java_androidnative1/solve.py
@@ -4,7 +4,6 @@
 from angr.procedures.java import JavaSimProcedure
 from angr.engines.soot.values import SimSootValue_ThisRef
 from archinfo.arch_soot import SootArgument, SootMethodDescriptor
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 
 file_dir = os.path.dirname(os.path.realpath(__file__))

diff --git a/examples/java_crackme1/solve.py b/examples/java_crackme1/solve.py
@@ -4,8 +4,6 @@
 import logging
 import subprocess
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
-
 self_dir = os.path.dirname(os.path.realpath(__file__))
 
 def test_java_crackme1():

diff --git a/examples/java_simple3/solve.py b/examples/java_simple3/solve.py
@@ -3,7 +3,6 @@
 import angr
 import logging
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 self_dir = os.path.dirname(os.path.realpath(__file__))
 

diff --git a/examples/java_simple4/solve.py b/examples/java_simple4/solve.py
@@ -3,7 +3,6 @@
 import angr
 import logging
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 self_dir = os.path.dirname(os.path.realpath(__file__))