| """Test that lldb functions correctly after the inferior has asserted.""" |
| |
| import os, time |
| import unittest2 |
| import lldb, lldbutil |
| from lldbtest import * |
| |
| class AssertingInferiorTestCase(TestBase): |
| |
| mydir = os.path.join("functionalities", "inferior-assert") |
| |
| @unittest2.skipUnless(sys.platform.startswith("darwin"), "requires Darwin") |
| def test_inferior_asserting_dsym(self): |
| """Test that lldb reliably catches the inferior asserting (command).""" |
| self.buildDsym() |
| self.inferior_asserting() |
| |
| def test_inferior_asserting_dwarf(self): |
| """Test that lldb reliably catches the inferior asserting (command).""" |
| self.buildDwarf() |
| self.inferior_asserting() |
| |
| @unittest2.skipUnless(sys.platform.startswith("darwin"), "requires Darwin") |
| def test_inferior_asserting_registers_dsym(self): |
| """Test that lldb reliably reads registers from the inferior after asserting (command).""" |
| self.buildDsym() |
| self.inferior_asserting_registers() |
| |
| def test_inferior_asserting_register_dwarf(self): |
| """Test that lldb reliably reads registers from the inferior after asserting (command).""" |
| self.buildDwarf() |
| self.inferior_asserting_registers() |
| |
| @skipIfGcc # Avoid xpasses as the verion of libc used on the gcc buildbot has the required function symbols. |
| @expectedFailureLinux # ResolveSymbolContextForAddress can fail using ELF with stripped function symbols. |
| def test_inferior_asserting_disassemble(self): |
| """Test that lldb reliably disassemblers frames after asserting (command).""" |
| self.buildDefault() |
| self.inferior_asserting_disassemble() |
| |
| @python_api_test |
| def test_inferior_asserting_python(self): |
| """Test that lldb reliably catches the inferior asserting (Python API).""" |
| self.buildDefault() |
| self.inferior_asserting_python() |
| |
| @unittest2.skipUnless(sys.platform.startswith("darwin"), "requires Darwin") |
| def test_inferior_asserting_expr(self): |
| """Test that the lldb expression interpreter can read from the inferior after asserting (command).""" |
| self.buildDsym() |
| self.inferior_asserting_expr() |
| |
| def test_inferior_asserting_expr(self): |
| """Test that the lldb expression interpreter can read from the inferior after asserting (command).""" |
| self.buildDwarf() |
| self.inferior_asserting_expr() |
| |
| @unittest2.skipUnless(sys.platform.startswith("darwin"), "requires Darwin") |
| def test_inferior_asserting_step(self): |
| """Test that lldb functions correctly after stepping through a call to assert().""" |
| self.buildDsym() |
| self.inferior_asserting_step() |
| |
| def test_inferior_asserting_step(self): |
| """Test that lldb functions correctly after stepping through a call to assert().""" |
| self.buildDwarf() |
| self.inferior_asserting_step() |
| |
| def set_breakpoint(self, line): |
| lldbutil.run_break_set_by_file_and_line (self, "main.c", line, num_expected_locations=1, loc_exact=True) |
| |
| def check_stop_reason(self): |
| stop_reason = 'stop reason = signal SIGABRT' |
| |
| # The stop reason of the thread should be an abort signal or exception. |
| self.expect("thread list", STOPPED_DUE_TO_ASSERT, |
| substrs = ['stopped', |
| stop_reason]) |
| |
| return stop_reason |
| |
| def setUp(self): |
| # Call super's setUp(). |
| TestBase.setUp(self) |
| # Find the line number of the call to assert. |
| self.line = line_number('main.c', '// Assert here.') |
| |
| def inferior_asserting(self): |
| """Inferior asserts upon launching; lldb should catch the event and stop.""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) |
| |
| self.runCmd("run", RUN_SUCCEEDED) |
| stop_reason = self.check_stop_reason() |
| |
| # And it should report a backtrace that includes the assert site. |
| self.expect("thread backtrace all", |
| substrs = [stop_reason, 'main', 'argc', 'argv']) |
| |
| # And it should report the correct line number. |
| self.expect("thread backtrace all", |
| substrs = [stop_reason, |
| 'main.c:%d' % self.line]) |
| |
| def inferior_asserting_python(self): |
| """Inferior asserts upon launching; lldb should catch the event and stop.""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| |
| target = self.dbg.CreateTarget(exe) |
| self.assertTrue(target, VALID_TARGET) |
| |
| # Now launch the process, and do not stop at entry point. |
| # Both argv and envp are null. |
| process = target.LaunchSimple(None, None, os.getcwd()) |
| |
| if process.GetState() != lldb.eStateStopped: |
| self.fail("Process should be in the 'stopped' state, " |
| "instead the actual state is: '%s'" % |
| lldbutil.state_type_to_str(process.GetState())) |
| |
| thread = lldbutil.get_stopped_thread(process, lldb.eStopReasonSignal) |
| if not thread: |
| self.fail("Fail to stop the thread upon assert") |
| |
| if self.TraceOn(): |
| lldbutil.print_stacktrace(thread) |
| |
| def inferior_asserting_registers(self): |
| """Test that lldb can read registers after asserting.""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) |
| |
| self.runCmd("run", RUN_SUCCEEDED) |
| self.check_stop_reason() |
| |
| # lldb should be able to read from registers from the inferior after asserting. |
| self.expect("register read eax", |
| substrs = ['eax = 0x']) |
| |
| def inferior_asserting_disassemble(self): |
| """Test that lldb can disassemble frames after asserting.""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| |
| # Create a target by the debugger. |
| target = self.dbg.CreateTarget(exe) |
| self.assertTrue(target, VALID_TARGET) |
| |
| # Launch the process, and do not stop at the entry point. |
| target.LaunchSimple(None, None, os.getcwd()) |
| self.check_stop_reason() |
| |
| process = target.GetProcess() |
| self.assertTrue(process.IsValid(), "current process is valid") |
| |
| thread = process.GetThreadAtIndex(0) |
| self.assertTrue(thread.IsValid(), "current thread is valid") |
| |
| # lldb should be able to disassemble frames from the inferior after asserting. |
| for frame in thread: |
| self.assertTrue(frame.IsValid(), "current frame is valid") |
| |
| self.runCmd("frame select " + str(frame.GetFrameID()), RUN_SUCCEEDED) |
| |
| self.expect("disassemble -a %s" % frame.GetPC(), |
| substrs = ['->', frame.GetFunctionName()]) |
| |
| def check_expr_in_main(self, thread): |
| depth = thread.GetNumFrames() |
| for i in range(depth): |
| frame = thread.GetFrameAtIndex(i) |
| self.assertTrue(frame.IsValid(), "current frame is valid") |
| if self.TraceOn(): |
| print "Checking if function %s is main" % frame.GetFunctionName() |
| |
| if 'main' == frame.GetFunctionName(): |
| frame_id = frame.GetFrameID() |
| self.runCmd("frame select " + str(frame_id), RUN_SUCCEEDED) |
| self.expect("p argc", substrs = ['(int)', ' = 1']) |
| self.expect("p hello_world", substrs = ['Hello']) |
| self.expect("p argv[0]", substrs = ['a.out']) |
| self.expect("p null_ptr", substrs = ['= 0x0']) |
| return True |
| return False |
| |
| def inferior_asserting_expr(self): |
| """Test that the lldb expression interpreter can read symbols after asserting.""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| |
| # Create a target by the debugger. |
| target = self.dbg.CreateTarget(exe) |
| self.assertTrue(target, VALID_TARGET) |
| |
| # Launch the process, and do not stop at the entry point. |
| target.LaunchSimple(None, None, os.getcwd()) |
| self.check_stop_reason() |
| |
| process = target.GetProcess() |
| self.assertTrue(process.IsValid(), "current process is valid") |
| |
| thread = process.GetThreadAtIndex(0) |
| self.assertTrue(thread.IsValid(), "current thread is valid") |
| |
| # The lldb expression interpreter should be able to read from addresses of the inferior after a call to assert(). |
| self.assertTrue(self.check_expr_in_main(thread), "cannot find 'main' in the backtrace") |
| |
| def inferior_asserting_step(self): |
| """Test that lldb functions correctly after stepping through a call to assert().""" |
| exe = os.path.join(os.getcwd(), "a.out") |
| |
| # Create a target by the debugger. |
| target = self.dbg.CreateTarget(exe) |
| self.assertTrue(target, VALID_TARGET) |
| |
| # Launch the process, and do not stop at the entry point. |
| self.set_breakpoint(self.line) |
| target.LaunchSimple(None, None, os.getcwd()) |
| |
| self.expect("thread list", STOPPED_DUE_TO_BREAKPOINT, |
| substrs = ['main.c:%d' % self.line, |
| 'stop reason = breakpoint']) |
| |
| self.runCmd("next") |
| stop_reason = self.check_stop_reason() |
| |
| # lldb should be able to read from registers from the inferior after asserting. |
| if "x86_64" in self.getArchitecture(): |
| self.expect("register read rbp", substrs = ['rbp = 0x']) |
| if "i386" in self.getArchitecture(): |
| self.expect("register read ebp", substrs = ['ebp = 0x']) |
| |
| process = target.GetProcess() |
| self.assertTrue(process.IsValid(), "current process is valid") |
| |
| thread = process.GetThreadAtIndex(0) |
| self.assertTrue(thread.IsValid(), "current thread is valid") |
| |
| # The lldb expression interpreter should be able to read from addresses of the inferior after a call to assert(). |
| self.assertTrue(self.check_expr_in_main(thread), "cannot find 'main' in the backtrace") |
| |
| # And it should report the correct line number. |
| self.expect("thread backtrace all", |
| substrs = [stop_reason, |
| 'main.c:%d' % self.line]) |
| |
| if __name__ == '__main__': |
| import atexit |
| lldb.SBDebugger.Initialize() |
| atexit.register(lambda: lldb.SBDebugger.Terminate()) |
| unittest2.main() |