pe: fix PE relocations parser

resolve #1362

Author: lief-integration-bot

src/PE/Parser.cpp

@@ -395,6 +395,13 @@ ok_error_t Parser::parse_relocations() {
       break;
     }
 
+    if (raw_struct.BlockSize > max_offset - current_offset) {
+      LIEF_ERR("Corrupted relocation: BlockSize ({}) exceeds remaining relocation "
+               "directory size ({})",
+               raw_struct.BlockSize, max_offset - current_offset);
+      break;
+    }
+
     if (raw_struct.BlockSize > binary_->optional_header().sizeof_image()) {
       LIEF_ERR("Corrupted relocation: BlockSize exceeds binary virtual size: "
                "{0} ({0:#10x})",

tests/pe/test_parser.py

@@ -7,7 +7,7 @@
 
 import lief
 import pytest
-from utils import get_sample, is_64bits_platform, parse_pe
+from utils import address_space_limiter, get_sample, is_64bits_platform, parse_pe
 
 
 def test_dos_header():
@@ -1207,3 +1207,18 @@ def test_coff_string_table_offset_overflow():
     pe = lief.PE.parse(sample)
     assert pe is not None
     assert len(pe.coff_string_table) == 0
+
+
+@pytest.mark.private
+def test_issue_1362():
+    sample = Path(get_sample("private/PE/issue_1362.pe")).absolute()
+    subprocess.check_call(
+        [
+            sys.executable,
+            "-c",
+            "import lief; import sys; lief.parse(sys.argv[1])",
+            str(sample),
+        ],
+        timeout=30.0,
+        preexec_fn=address_space_limiter(),
+    )