angr 9.2.87__py3-none-win_amd64.whl → 9.2.89__py3-none-win_amd64.whl

tests/exploration_techniques/test_unique.py

@@ -1,40 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.exploration_techniques"  # pylint:disable=redefined-builtin
-
-import os
-import unittest
-
-import angr
-
-from ..common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-
-find = {"veritesting_a": {"x86_64": 0x40066A}}
-
-criteria = {"veritesting_a": lambda input_found: input_found.count(b"B") == 10}
-
-
-class TestRunUnique(unittest.TestCase):
-    def _run_unique(self, binary, arch):
-        proj = angr.Project(os.path.join(test_location, arch, binary), auto_load_libs=False)
-        simgr = proj.factory.simulation_manager()
-        technique = angr.exploration_techniques.UniqueSearch()
-        simgr.use_technique(technique)
-
-        def found(simgr):
-            return simgr.active[0].addr == find[binary][arch]
-
-        simgr.run(until=found)
-        assert simgr.active[0].addr == find[binary][arch]
-
-        input_found = simgr.active[0].posix.dumps(0)
-        assert criteria[binary](input_found)
-
-    def test_unique(self):
-        self._run_unique("veritesting_a", "x86_64")
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/exploration_techniques/test_veritesting.py

@@ -1,120 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.exploration_techniques"  # pylint:disable=redefined-builtin
-
-import os
-import unittest
-import logging
-
-import angr
-import claripy
-
-from ..common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-
-l = logging.getLogger("angr_tests.veritesting")
-
-addresses_veritesting_a = {"x86_64": 0x400674}
-addresses_veritesting_b = {"x86_64": 0x4006AF}
-
-
-class TestVeritesting(unittest.TestCase):
-    def _run_veritesting_a(self, arch):
-        # TODO: Added timeout control, since a failed state merging will result in running for a long time
-
-        # logging.getLogger('angr.analyses.sse').setLevel(logging.DEBUG)
-
-        proj = angr.Project(
-            os.path.join(test_location, arch, "veritesting_a"),
-            load_options={"auto_load_libs": False},
-            use_sim_procedures=True,
-        )
-        ex = proj.factory.simulation_manager(veritesting=True)
-        ex.explore(find=addresses_veritesting_a[arch])
-        assert len(ex.found) != 0
-
-        # Make sure the input makes sense
-        for f in ex.found:
-            input_str = f.plugins["posix"].dumps(0)
-            assert input_str.count(b"B") == 10
-
-        # make sure the solution is actually found by veritesting
-        assert len(ex.found) == 1
-        state = ex.found[0]
-        for var in state.solver._solver.variables:
-            assert "state_merge" not in var
-
-    def _run_veritesting_b(self, arch):
-        # logging.getLogger('angr.analyses.sse').setLevel(logging.DEBUG)
-
-        proj = angr.Project(
-            os.path.join(test_location, arch, "veritesting_b"),
-            load_options={"auto_load_libs": False},
-            use_sim_procedures=True,
-        )
-        ex = proj.factory.simulation_manager()
-        ex.use_technique(angr.exploration_techniques.Veritesting(enable_function_inlining=True))
-        ex.explore(find=addresses_veritesting_b[arch])
-        assert len(ex.found) != 0
-
-        # Make sure the input makes sense
-        for f in ex.found:
-            input_str = f.plugins["posix"].dumps(0)
-            assert input_str.count(b"B") == 35
-
-        # make sure the solution is actually found by veritesting
-        assert len(ex.found) == 1
-        state = ex.found[0]
-        for var in state.solver._solver.variables:
-            assert "state_merge" not in var
-
-    def _run_veritesting_skm(self, arch):
-        proj = angr.Project(os.path.join(test_location, arch, "veritesting_skm"))
-
-        # start the analysis after the call to lexer_read_line
-        state = proj.factory.blank_state(addr=0x4024AE, remove_options={angr.sim_options.UNICORN})
-
-        # set up the structures for the user_input
-        byte = claripy.BVS("user_byte", 8)  # Symbolic variable for user_input
-        SPACE = claripy.Or((byte == 32), (byte == 9))
-        NUM = claripy.And(byte >= 48, byte <= 57)
-        NL = byte == 10
-        MULOP = claripy.Or(byte == 42, byte == 47)
-        ADDOP = claripy.Or(byte == 43, byte == 45)
-        constraint = claripy.Or(NUM, ADDOP, MULOP, NL, SPACE)
-        state.add_constraints(constraint)
-
-        # set up memory
-        LINEPTR = 0xCAFEBABE  # fake addr
-        state.memory.store(LINEPTR, byte)
-        state.memory.store(LINEPTR + 1, 0)  # NULL term the string!
-
-        # stack
-        state.regs.rax = LINEPTR
-        state.regs.rbp = 0xDEADBEEF  # STACK
-        state.regs.rdi = LINEPTR  # 64 bit Intel calling convention - RDI gets arg0
-
-        simgr = proj.factory.simgr(state, veritesting=True)
-        is_successful = 0x402517
-        should_abort = 0x402521
-        simgr.explore(find=is_successful, avoid=should_abort)
-        assert simgr.found
-
-    def test_veritesting_a(self):
-        # This is the most basic test
-        self._run_veritesting_a("x86_64")
-
-    def test_veritesting_b(self):
-        # Advanced stuff - it tests for the ability to inline simple functions
-        # as well as simple syscalls like read/write
-        self._run_veritesting_b("x86_64")
-
-    def test_veritesting_skm(self):
-        # More advanced stuff, this binary will do double state merging,
-        # which requires merged states to be correct
-        self._run_veritesting_skm("x86_64")
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/factory/block/test_block_cache.py

@@ -1,33 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.factory.block"  # pylint:disable=redefined-builtin
-
-import logging
-import unittest
-import os
-
-import angr
-
-from ...common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-l = logging.getLogger("angr.tests")
-
-
-# pylint: disable=missing-class-docstring
-# pylint: disable=no-self-use
-class TestBlockCache(unittest.TestCase):
-    def test_block_cache(self):
-        p = angr.Project(
-            os.path.join(test_location, "x86_64", "fauxware"), translation_cache=True, auto_load_libs=False
-        )
-        b = p.factory.block(p.entry)
-        assert p.factory.block(p.entry).vex is b.vex
-
-        p = angr.Project(os.path.join(test_location, "x86_64", "fauxware"), translation_cache=False)
-        b = p.factory.block(p.entry)
-        assert p.factory.block(p.entry).vex is not b.vex
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/factory/block/test_keystone.py

@@ -1,106 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.factory.block"  # pylint:disable=redefined-builtin
-
-import os
-import logging
-import sys
-import unittest
-
-import angr
-
-from ...common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-l = logging.getLogger("angr.tests")
-
-insn_texts = {
-    "i386": b"add eax, 0xf",
-    "x86_64": b"add rax, 0xf",
-    "ppc": b"addi %r1, %r1, 0xf",
-    "armel": b"add r1, r1, 0xf",
-    "armel_thumb": b"add.w r1, r1, #0xf",
-    "mips": b"addi $1, $1, 0xf",
-}
-
-
-class TestKeyStone(unittest.TestCase):
-    def _run_keystone(self, arch):
-        proj_arch = arch
-        is_thumb = False
-        if arch == "armel_thumb":
-            is_thumb = True
-            proj_arch = "armel"
-        p = angr.Project(os.path.join(test_location, proj_arch, "fauxware"), auto_load_libs=False)
-        addr = p.loader.main_object.get_symbol("authenticate").rebased_addr
-
-        sm = p.factory.simulation_manager()
-        if arch in ["i386", "x86_64"]:
-            sm.one_active.regs.eax = 3
-        else:
-            sm.one_active.regs.r1 = 3
-
-        if is_thumb:
-            addr |= 1
-        block = p.factory.block(addr, insn_text=insn_texts[arch], thumb=is_thumb).vex
-
-        assert block.instructions == 1
-
-        sm.step(force_addr=addr, insn_text=insn_texts[arch], thumb=is_thumb)
-
-        if arch in ["i386", "x86_64"]:
-            assert sm.one_active.solver.eval(sm.one_active.regs.eax) == 0x12
-        else:
-            assert sm.one_active.solver.eval(sm.one_active.regs.r1) == 0x12
-
-    def test_i386(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("i386")
-
-    def test_x86_64(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("x86_64")
-
-    def test_ppc(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("ppc")
-
-    def test_armel(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("armel")
-
-    def test_armel_thumb(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("armel_thumb")
-
-    def test_mips(self):
-        # Installing keystone on Windows is currently a pain. Fix the installation first (may it pip installable) before
-        # re-enabling this test on Windows.
-        if not sys.platform.startswith("linux"):
-            return
-
-        self._run_keystone("mips")
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/factory/test_argc.py

@@ -1,101 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.factory"  # pylint:disable=redefined-builtin
-
-import os
-import unittest
-
-import angr
-
-from ..common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-
-
-# pylint: disable=missing-class-docstring
-# pylint: disable=no-self-use
-class TestArgc(unittest.TestCase):
-    def test_mips(self):
-        proj = angr.Project(os.path.join(test_location, "mips", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x4006F4
-
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-    def test_mipsel(self):
-        proj = angr.Project(os.path.join(test_location, "mipsel", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x400708
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-    def test_i386(self):
-        proj = angr.Project(os.path.join(test_location, "i386", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x80483D4
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-    def test_amd64(self):
-        proj = angr.Project(os.path.join(test_location, "x86_64", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x4004C7
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-    def test_arm(self):
-        proj = angr.Project(os.path.join(test_location, "armel", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x1040C
-
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-    def test_ppc32(self):
-        proj = angr.Project(os.path.join(test_location, "ppc", "argc_decide"), auto_load_libs=False)
-        r_addr = 0x10000404
-
-        s = proj.factory.entry_state(args=["aaa"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "bbb"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/factory/test_argc_sym.py

@@ -1,110 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.factory"  # pylint:disable=redefined-builtin
-
-import os
-import unittest
-
-import claripy
-
-import angr
-
-from ..common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-
-
-# pylint: disable=missing-class-docstring
-# pylint: disable=no-self-use
-class TestArgcSym(unittest.TestCase):
-    def _verify_results(self, pg, sargc, length=400):
-        argcs = pg.mp_found.solver.eval(sargc)
-        strs = pg.mp_found.solver.eval(pg.mp_found.memory.load(pg.mp_found.regs.sp, length), cast_to=bytes)
-
-        for a, s in zip(argcs.mp_items, strs.mp_items):
-            assert a in (0, 1, 2)
-            assert b"Good man" in s if a == 1 else b"Very Good man" if a == 2 else True
-
-    def test_mips(self):
-        arger_mips = angr.Project(os.path.join(test_location, "mips", "argc_symbol"), auto_load_libs=False)
-        r_addr = [0x400720, 0x40076C, 0x4007BC]
-
-        sargc = claripy.BVS("argc", 32)
-        s = arger_mips.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_mips.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc)
-
-    def test_mipsel(self):
-        arger_mipsel = angr.Project(os.path.join(test_location, "mipsel", "argc_symbol"), auto_load_libs=False)
-        r_addr = [0x400720, 0x40076C, 0x4007BC]
-
-        sargc = claripy.BVS("argc", 32)
-        s = arger_mipsel.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_mipsel.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc)
-
-    def test_i386(self):
-        arger_i386 = angr.Project(os.path.join(test_location, "i386", "argc_symbol"), auto_load_libs=False)
-        r_addr = [0x08048411, 0x08048437, 0x08048460]
-
-        sargc = claripy.BVS("argc", 32)
-        s = arger_i386.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_i386.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc)
-
-    def test_amd64(self):
-        arger_amd64 = angr.Project(
-            os.path.join(test_location, "x86_64", "argc_symbol"), load_options={"auto_load_libs": False}
-        )
-        r_addr = [0x40051B, 0x400540, 0x400569]
-
-        sargc = claripy.BVS("argc", 64)
-        s = arger_amd64.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_amd64.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc, length=800)
-
-    def test_arm(self):
-        arger_arm = angr.Project(os.path.join(test_location, "armel", "argc_symbol"), auto_load_libs=False)
-        r_addr = [0x00010444, 0x00010478, 0x000104B0]
-
-        sargc = claripy.BVS("argc", 32)
-        s = arger_arm.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_arm.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc)
-
-    def test_ppc32(self):
-        arger_ppc32 = angr.Project(os.path.join(test_location, "ppc", "argc_symbol"), auto_load_libs=False)
-        r_addr = [0x1000043C, 0x10000474, 0x100004B0]
-
-        sargc = claripy.BVS("argc", 32)
-        s = arger_ppc32.factory.entry_state(
-            args=[claripy.BVS("arg_0", 40 * 8), claripy.BVS("arg_1", 40 * 8), claripy.BVS("arg_2", 40 * 8)],
-            env={"HOME": "/home/angr"},
-            argc=sargc,
-        )
-        pg = arger_ppc32.factory.simulation_manager(s).explore(find=r_addr, num_find=100)
-        self._verify_results(pg, sargc)
-
-
-if __name__ == "__main__":
-    unittest.main()

tests/factory/test_argv.py

@@ -1,158 +0,0 @@
-#!/usr/bin/env python3
-__package__ = __package__ or "tests.factory"  # pylint:disable=redefined-builtin
-
-import os
-import unittest
-
-import claripy
-
-import angr
-
-from ..common import bin_location
-
-
-test_location = os.path.join(bin_location, "tests")
-
-
-# pylint: disable=missing-class-docstring
-# pylint: disable=no-self-use
-class TestArgv(unittest.TestCase):
-    def test_mips(self):
-        proj = angr.Project(os.path.join(test_location, "mips", "argv_test"), auto_load_libs=False)
-        r_addr = 0x400768
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic command line argument
-        arg = claripy.BVS("arg_2", 50 * 8)
-        s = proj.factory.entry_state(args=["aaa", arg], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-    def test_mipsel(self):
-        proj = angr.Project(os.path.join(test_location, "mipsel", "argv_test"), auto_load_libs=False)
-        r_addr = 0x400768
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic args
-        s = proj.factory.entry_state(args=["aaa", claripy.BVS("arg_2", 50 * 8)], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-    def test_i386(self):
-        proj = angr.Project(os.path.join(test_location, "i386", "argv_test"), auto_load_libs=False)
-        r_addr = 0x804845B
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic args
-        s = proj.factory.entry_state(args=["aaa", claripy.BVS("arg_2", 50 * 8)], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-    def test_amd64(self):
-        proj = angr.Project(os.path.join(test_location, "x86_64", "argv_test"), auto_load_libs=False)
-        r_addr = 0x400571
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic args
-        s = proj.factory.entry_state(args=["aaa", claripy.BVS("arg_2", 50 * 8)], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-    def test_arm(self):
-        proj = angr.Project(os.path.join(test_location, "armel", "argv_test"), auto_load_libs=False)
-        r_addr = 0x1048C
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic args
-        s = proj.factory.entry_state(args=["aaa", claripy.BVS("arg_2", 50 * 8)], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-    def test_ppc32(self):
-        proj = angr.Project(os.path.join(test_location, "ppc", "argv_test"), auto_load_libs=False)
-        r_addr = 0x10000498
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 1
-
-        s = proj.factory.entry_state(args=["aaa", "Yan is not a noob"], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        assert len(xpl.found) == 0
-
-        # symbolic args
-        s = proj.factory.entry_state(args=["aaa", claripy.BVS("arg_2", 50 * 8)], env={"HOME": "/home/angr"})
-        xpl = proj.factory.simulation_manager(s).explore(find=r_addr)
-
-        found = xpl.found[0]
-        conc = found.solver.eval(found.memory.load(found.registers.load("sp"), 400), cast_to=bytes)
-
-        assert b"Yan is a noob" in conc
-
-
-if __name__ == "__main__":
-    unittest.main()