book

.NET IL Assembler

by Serge Lidin

June 2014

Intermediate to advanced

492 pages

14h 35m

English

Apress

Read now

Unlock full access

Basics of the Common Language RuntimeSimple Sample: The CodeProgram HeaderClass DeclarationField DeclarationMethod DeclarationGlobal ItemsMapped FieldsData DeclarationValue Type As PlaceholderCalling Unmanaged CodeForward Declaration of ClassesSummary
Compacting the CodeProtecting the CodeSummary
AliasingCompilation Control DirectivesReferencing the Current Class and Its RelativesSummary
PE/COFF HeadersMS-DOS Header/Stub and PE SignatureCOFF HeaderPE HeaderSection HeadersCommon Language Runtime HeaderHeader StructureFlags FieldEntryPointToken FieldVTableFixups FieldStrongNameSignature FieldRelocation SectionText SectionData SectionsData ConstantsV-TableUnmanaged Export TableThread Local StorageResourcesUnmanaged ResourcesManaged ResourcesSummaryPhase 1: InitializationPhase 2: Source Code ParsingPhase 3: Image GenerationPhase 4: Completion
What Is Metadata?Heaps and TablesHeapsGeneral Metadata HeaderMetadata Table StreamsRIDs and TokensRIDsTokensCoded TokensMetadata ValidationSummary
What Is an Assembly?Private and Shared AssembliesApplication Domains As Logical Units of ExecutionManifestAssembly Metadata Table and DeclarationAssemblyRef Metadata Table and DeclarationAutodetection of Referenced AssembliesThe Loader in Search of AssembliesModule Metadata Table and DeclarationModuleRef Metadata Table and DeclarationFile Metadata Table and DeclarationManaged Resource Metadata and DeclarationExportedType Metadata Table and DeclarationOrder of Manifest Declarations in ILAsmSingle-Module and Multimodule AssembliesSummary of Metadata Validity RulesAssembly Table Validity RulesAssemblyRef Table Validity RulesModule Table Validity RulesModuleRef Table Validity RulesFile Table Validity RulesManifestResource Table Validity RulesExportedType Table Validity Rules
Class MetadataTypeDef Metadata TableTypeRef Metadata TableInterfaceImpl Metadata TableNestedClass Metadata TableClassLayout Metadata TableNamespace and Full Class NameILAsm Naming ConventionsNamespacesFull Class NamesClass AttributesFlagsClass Visibility and Friend AssembliesClass ReferencesParent of the TypeInterface ImplementationsClass Layout InformationInterfacesValue TypesBoxed and Unboxed ValuesInstance Members of Value TypesDerivation of Value TypesEnumerationsDelegatesNested TypesClass AugmentationSummary of the Metadata Validity RulesTypeDef Table Validity RulesEnumeration-Specific Validity RulesTypeRef Table Validity RulesInterfaceImpl Table Validity RulesNestedClass Table Validity RulesClassLayout Table Validity Rules
Primitive Types in the Common Language RuntimePrimitive Data TypesData Pointer TypesFunction Pointer TypesVectors and ArraysModifiersNative TypesVariant TypesRepresenting Classes in SignaturesSignaturesCalling ConventionsField SignaturesMethod and Property SignaturesMemberRef SignaturesIndirect Call SignaturesLocal Variables SignaturesType SpecificationsSummary of Signature Validity Rules
Field MetadataDefining a FieldReferencing a FieldInstance and Static FieldsDefault ValuesMapped FieldsData Constants DeclarationExplicit Layouts and Union DeclarationGlobal FieldsConstructors vs. Data ConstantsSummary of Metadata Validity RulesField Table Validity RulesFieldLayout Table Validity RulesFieldRVA Table Validity RulesFieldMarshal Table Validity RulesConstant Table Validity RulesMemberRef Table Validity Rules
Method MetadataMethod Table Record EntriesMethod FlagsMethod NameMethod Implementation FlagsMethod ParametersReferencing the MethodsMethod Implementation MetadataStatic, Instance, Virtual MethodsExplicit Method OverridingMethod Overriding and AccessibilityMethod Header AttributesLocal VariablesClass ConstructorsClass Constructors and the beforefieldinit FlagModule ConstructorsInstance ConstructorsInstance FinalizersVariable Argument ListsMethod OverloadingGlobal MethodsSummary of Metadata Validity RulesMethod Table Validity RulesParam Table Validity RulesMethodImpl Table Validity Rules
Generic Type MetadataGenericParam Metadata TableGenericParamConstraint Metadata TableTypeSpec Metadata TableConstraint FlagsDefining Generic Types in ILAsmAddressing the Type ParametersGeneric Type InstantiationsDefining Generic Types: Inheritance, Implementation, ConstraintsDefining Generic Types: Cyclic DependenciesThe Members of Generic TypesVirtual Methods in Generic TypesNested Generic TypesSummary of the Metadata Validity Rules
Generic Method MetadataMethodSpec Metadata TableSignatures of Generic MethodsDefining Generic Methods in ILAsmCalling Generic MethodsOverriding Virtual Generic MethodsSummary of the Metadata Validity Rules
Long-Parameter and Short-Parameter InstructionsLabels and Flow Control InstructionsUnconditional Branching InstructionsConditional Branching InstructionsComparative Branching InstructionsThe switch InstructionThe break InstructionManaged EH Block Exiting InstructionsEH Block Ending InstructionsThe ret InstructionArithmetical InstructionsStack ManipulationConstant LoadingIndirect LoadingIndirect StoringArithmetical OperationsOverflow Arithmetical OperationsBitwise OperationsShift OperationsConversion OperationsOverflow Conversion OperationsLogical Condition Check InstructionsBlock OperationsAddressing Arguments and Local VariablesMethod Argument LoadingMethod Argument Address LoadingMethod Argument StoringMethod Argument ListLocal Variable LoadingLocal Variable Reference LoadingLocal Variable StoringLocal Block AllocationPrefix InstructionsAddressing FieldsCalling MethodsDirect CallsIndirect CallsTail CallsConstrained Virtual CallsAddressing Classes and Value TypesVector InstructionsVector CreationElement Address LoadingElement LoadingElement StoringCode Verifiability
EH Clause Internal RepresentationTypes of EH ClausesLabel Form of EH Clause DeclarationScope Form of EH Clause DeclarationProcessing the ExceptionsException TypesLoader ExceptionsJIT Compiler ExceptionsExecution Engine ExceptionsInteroperability Services ExceptionsSubclassing the ExceptionsUnmanaged Exception MappingSummary of EH Clause Structuring Rules
Events and DelegatesEvent MetadataThe Event TableThe EventMap TableThe MethodSemantics TableEvent DeclarationProperty MetadataThe Property TableThe PropertyMap TableProperty DeclarationSummary of Metadata Validity RulesEvent Table Validity RulesEventMap Table Validity RulesProperty Table Validity RulesPropertyMap Table Validity RulesMethodSemantics Table Validity Rules
Concept of a Custom AttributeCustomAttribute Metadata TableCustom Attribute Value EncodingVerbal Description of Custom Attribute ValueCustom Attribute DeclarationClassification of Custom AttributesExecution Engine and JIT CompilerInteroperation SubsystemSecurityRemoting SubsystemVisual Studio DebuggerAssembly LinkerCommon Language Specification (CLS) CompliancePseudocustom AttributesSummary of Metadata Validity Rules
Declarative SecurityDeclarative ActionsSecurity PermissionsAccess PermissionsIdentity PermissionsCustom PermissionsPermission SetsChanges in Declarative Security in v4.0Declarative Security MetadataPermission Set Blob EncodingSecurity Attribute DeclarationSummary of Metadata Validity Rules
Thunks and WrappersP/Invoke ThunksImplementation Map MetadataIJW ThunksCOM Callable WrappersRuntime Callable WrappersData MarshalingBlittable TypesIn/Out ParametersString MarshalingObject MarshalingMore Object MarshalingArray MarshalingDelegate MarshalingInteroperation with Windows RuntimeProviding Managed Methods as Callbacks for Unmanaged CodeManaged Methods as Unmanaged ExportsExport Table GroupSummary
IL DisassemblerPrinciples of Round-TrippingCreative Round-TrippingUsing Class AugmentationModule Linking Through Round-TrippingASMMETA: Resolving Circular DependenciesIL Inlining in High-Level LanguagesCompiling in Debug ModeSummary
Lexical TokensAuxiliary Lexical TokensData Type NonterminalsIdentifier NonterminalsClass ReferencingModule-Level DeclarationsCompilation Control DirectivesModule Parameter DeclarationV-Table Fixup Table DeclarationManifest DeclarationsManaged Types in SignaturesNative Types in Marshaling SignaturesMethod and Field ReferencingClass DeclarationGeneric Type Parameters DeclarationClass Body DeclarationsField DeclarationMethod DeclarationMethod Body DeclarationsExternal Source DirectivesManaged Exception Handling DirectivesIL InstructionsEvent DeclarationProperty DeclarationConstant DeclarationsCustom Attribute DeclarationsVerbal Description of Custom Attribute Initialization BlobSecurity DeclarationsAliasing of Types, Methods, Fields, and Custom AttributesData Declaration
IL AssemblerIL DisassemblerOutput Redirection OptionsILAsm Code-Formatting Options (PE Files Only)File Output Options (PE Files Only)File or Console Output Options (PE Files Only)Metadata Summary Option
Error Codes and Messages

Content preview from .NET IL Assembler

Appendix B

Metadata Tables Reference

Table: Entry Types

Type	Description
BYTE	Unsigned 1-byte integer
SHORT	Signed 2-byte integer
USHORT	Unsigned 2-byte integer
ULONG	Unsigned 4-byte integer
RID: <table>	Record index to <table>
STRING	Offset in the #Strings stream
GUID	Offset in the #GUID stream
BLOB	Offset in the #Blob stream
<coded_token_type>	Coded token, such as TypeDefOrRef (see the “Coded Token Types” table at the end of the appendix)

Table: Module; RID Type: 00; Token Type: 0x00000000; Metadata (MD) Streams: #~, #-

Entry Name	Entry Type	Comments
Generation	USHORT	For edit-and-continue
Name	STRING ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Start your free trial

Pro .NET Performance

Sasha Goldshtein, Dima Zurbalev, Ido Flatow

Pro .NET 5 Custom Libraries: Implementing Custom .NET Data Types

Roger Villela

Pro .NET Framework with the Base Class Library: Understanding the Virtual Execution System and the Common Type System

Roger Villela

Lossless Information Hiding in Images

Zhe-Ming Lu, Shi-Ze Guo

Publisher Resources

ISBN: 9781430267607Purchase book