Python PreparedElfFile.find_segment_by_vaddrの例

コード例 #1

ファイル: test_core.py プロジェクト: gapry/L4OS

    def test_find_segment_by_vaddr(self):
        ef = PreparedElfFile(filename="data/arm_exec")
        seg = ef.find_segment_by_vaddr(0xF0001000L)
        self.assertEqual(0xF0001000L in seg.get_span(), True)

        seg = ef.find_segment_by_vaddr(0xA0001000L)
        self.assertEqual(seg, None)

コード例 #2

ファイル: test_core.py プロジェクト: gapry/L4OS

 def test_contains_vaddr(self):
     ef = PreparedElfFile(filename="data/arm_exec")
     seg = ef.find_segment_by_vaddr(0xF0001000L)
     self.assertEqual(seg.contains_vaddr(0xF0001000L), True)

コード例 #3

ファイル: test_core.py プロジェクト: gapry/L4OS

    def test_vtop(self):
        ef = PreparedElfFile(filename="data/arm_exec")
        seg = ef.find_segment_by_vaddr(0xF0001000L)
        self.assertEqual(seg.vtop(0xF0001000L), 0xA0101000L)

        self.assertRaises(InvalidArgument, seg.vtop, 0xA0001000L)