dotscope 0.6.0

A high-performance, cross-platform framework for analyzing and reverse engineering .NET PE executables
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

//! # `PropertyPtr` Table Loader
//!
//! This module provides loading functionality for the `PropertyPtr` metadata table (ID 0x16).
//! The `PropertyPtr` table provides indirection for property table access in optimized
//! metadata layouts, enabling property table compression and efficient property access
//! patterns in .NET assemblies.
//!
//! ## Purpose
//!
//! The `PropertyPtr` table serves as an indirection mechanism:
//! - **Property Indirection**: Maps logical property indexes to physical locations
//! - **Optimization Support**: Enables property table compression and reordering
//! - **Metadata Efficiency**: Reduces metadata size in optimized assemblies
//! - **Access Performance**: Provides efficient property lookup mechanisms
//!
//! ## Optimization Context
//!
//! `PropertyPtr` tables are typically present in optimized assemblies where:
//! - Property table ordering differs from logical declaration order
//! - Property table compression has been applied during compilation
//! - Runtime property access patterns require indirection for efficiency
//!
//! ## References
//!
//! - ECMA-335, Partition II, ยง22.38 - `PropertyPtr` table specification
//! - [`crate::metadata::tables::PropertyPtrRaw`] - Raw table entry structure
//! - [`crate::metadata::tables::PropertyPtr`] - Owned table entry type

use crate::{
    metadata::{
        diagnostics::DiagnosticCategory,
        loader::{LoaderContext, MetadataLoader},
        tables::{PropertyPtrRaw, TableId},
    },
    Result,
};

/// Loader implementation for the `PropertyPtr` metadata table.
///
/// This loader processes `PropertyPtr` table entries (ID 0x16) that provide indirection
/// for property table access in optimized metadata layouts. It handles the loading,
/// validation, and storage of property pointer entries for efficient property access.
///
/// ## Error Handling
///
/// The loader validates:
/// - Property pointer table structure and format
/// - Property reference validity and constraints
/// - Metadata token consistency and uniqueness
pub struct PropertyPtrLoader;

impl MetadataLoader for PropertyPtrLoader {
    /// Loads and processes all `PropertyPtr` table entries from the metadata.
    ///
    /// ## Arguments
    ///
    /// * `context` - The loading context containing metadata and storage facilities
    ///
    /// ## Returns
    ///
    /// * `Ok(())` - All property pointer entries loaded and validated successfully
    /// * `Err(_)` - Property pointer loading or validation failed
    fn load(&self, context: &LoaderContext) -> Result<()> {
        let Some(header) = context.meta else {
            return Ok(());
        };
        let Some(table) = header.table::<PropertyPtrRaw>() else {
            return Ok(());
        };

        for row in table {
            let token_msg = || format!("property ptr 0x{:08x}", row.token.value());

            let Some(owned) =
                context.handle_result(row.to_owned(), DiagnosticCategory::Table, token_msg)?
            else {
                continue;
            };

            context.property_ptr.insert(row.token, owned);
        }
        Ok(())
    }

    /// Returns the table identifier for the `PropertyPtr` table.
    ///
    /// ## Returns
    ///
    /// [`TableId::PropertyPtr`] (0x16) - The metadata table identifier
    fn table_id(&self) -> Option<TableId> {
        Some(TableId::PropertyPtr)
    }

    /// Returns the dependency list for `PropertyPtr` table loading.
    ///
    /// The `PropertyPtr` table has no direct dependencies on other metadata tables
    /// as it provides indirection rather than containing references to other tables.
    ///
    /// ## Returns
    ///
    /// An empty slice indicating no dependencies
    fn dependencies(&self) -> &'static [TableId] {
        &[]
    }
}