From 4c2f9496ac9f53cea8e18497017b80fedd840631 Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Wed, 30 Aug 2023 17:23:46 -0700 Subject: [PATCH] Remove full binary test --- tests/test_spotter.py | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/tests/test_spotter.py b/tests/test_spotter.py index 25714508..bed7dd4a 100644 --- a/tests/test_spotter.py +++ b/tests/test_spotter.py @@ -1,5 +1,4 @@ import os -import unittest import archinfo @@ -8,12 +7,6 @@ from pyvex.lifting import register from pyvex.lifting.util import GymratLifter, Instruction, Type -try: - import angr -except ImportError: - angr = None - - test_location = str(os.path.join(os.path.dirname(os.path.realpath(__file__)), "../../binaries/tests")) @@ -104,21 +97,6 @@ class CortexSpotter(GymratLifter): register(CortexSpotter, "ARMEL") -@unittest.skipIf(angr is None, "angr required") -def test_full_binary(): - p = angr.Project( - os.path.join(test_location, "armel", "RTOSDemo.axf.issue_685"), - arch="ARMEL", - auto_load_libs=False, - ) - st = p.factory.call_state(0x000013CE + 1) - b = st.block().vex - simgr = p.factory.simulation_manager(st) - simgr.step() - assert b.jumpkind == "Ijk_Sys_syscall" - assert simgr.active[0].regs.ip_at_syscall.args[0] == 0x13FB - - def test_tmrs(): arch = archinfo.arch_from_id("ARMEL") ins = b"\xef\xf3\x08\x82" @@ -142,6 +120,5 @@ def test_tmsr(): if __name__ == "__main__": test_basic() test_embedded() - test_full_binary() test_tmrs() test_tmsr()