Class VerifierDiagnosticCodes

Namespace

DotBoxD.Kernels.Verifier.Diagnostics

Assembly

DotBoxD.Kernels.Verifier.dll

Public, maintained reference for the V-* diagnostic codes emitted by IGeneratedAssemblyVerifier through Diagnostics. Consumers should reference these constants instead of hard-coding magic strings, and can use All / TryGetReference(string, out VerifierDiagnosticReference) to map a code to its documented meaning, likely cause, category, and remediation.

public static class VerifierDiagnosticCodes

Inheritance

object

VerifierDiagnosticCodes

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Fields

Array

An array allocation uses an element type other than the allowed DotBoxD.Kernels value type.

public const string Array = "V-ARRAY"

Field Value

string

AssemblyReference

An assembly reference is not on the policy allow-list.

public const string AssemblyReference = "V-ASM-REF"

Field Value

string

CompiledShape

The compiled Execute/function shape does not match the required DotBoxD.Kernels dispatch shape.

public const string CompiledShape = "V-COMPILED-SHAPE"

Field Value

string

ControlFlow

A branch targets an offset that is not a valid instruction boundary.

public const string ControlFlow = "V-CONTROL-FLOW"

Field Value

string

CustomAttribute

The generated assembly carries a custom attribute, which is not allowed.

public const string CustomAttribute = "V-CUSTOM-ATTR"

Field Value

string

Exception

A method body declares exception handlers, which are not allowed.

public const string Exception = "V-EXCEPTION"

Field Value

string

ExecuteSignature

The Execute method signature does not match the required DotBoxD.Kernels entrypoint signature.

public const string ExecuteSignature = "V-EXECUTE-SIGNATURE"

Field Value

string

Field

The generated type declares fields, which is not allowed.

public const string Field = "V-FIELD"

Field Value

string

FieldStatic

The generated type declares a mutable static field, which is not allowed.

public const string FieldStatic = "V-FIELD-STATIC"

Field Value

string

FunctionSignature

A generated Fn_* helper does not match the required DotBoxD.Kernels function signature.

public const string FunctionSignature = "V-FUNCTION-SIGNATURE"

Field Value

string

Generic

The generated type or a method declares generic parameters, which are not allowed.

public const string Generic = "V-GENERIC"

Field Value

string

IlFormat

A method body contained malformed or unreadable IL.

public const string IlFormat = "V-IL-FORMAT"

Field Value

string

ManifestHash

Assembly hash is missing from the manifest or does not match the artifact bytes.

public const string ManifestHash = "V-MANIFEST-HASH"

Field Value

string

ManifestIdentity

Manifest identity does not match the expected verification context, or none was supplied.

public const string ManifestIdentity = "V-MANIFEST-IDENTITY"

Field Value

string

Member

A member (method/field) reference or local call target is not allowed by policy.

public const string Member = "V-MEMBER"

Field Value

string

MetadataShape

A disallowed metadata table is present (interfaces, properties, events, nested types, layout, and similar).

public const string MetadataShape = "V-METADATA-SHAPE"

Field Value

string

MethodAttribute

A method uses unsupported attributes (virtual/abstract/synchronized/native/internal-call/non-static).

public const string MethodAttribute = "V-METHOD-ATTR"

Field Value

string

MethodBody

A generated executable method is missing its method body.

public const string MethodBody = "V-METHOD-BODY"

Field Value

string

MethodName

A method name is not an expected generated method name.

public const string MethodName = "V-METHOD-NAME"

Field Value

string

MethodPInvoke

A method carries P/Invoke attributes.

public const string MethodPInvoke = "V-METHOD-PINVOKE"

Field Value

string

MethodSpecial

A disallowed special method (such as .cctor or Finalize) is present.

public const string MethodSpecial = "V-METHOD-SPECIAL"

Field Value

string

ModuleSurface

Module-level (<Module>) methods or fields are present, which is not allowed.

public const string ModuleSurface = "V-MODULE-SURFACE"

Field Value

string

OpCode

An IL opcode used in a method body is not on the allow-list or is explicitly forbidden.

public const string OpCode = "V-OPCODE"

Field Value

string

Operand

An argument or local operand index is out of range for the method.

public const string Operand = "V-OPERAND"

Field Value

string

PInvoke

The assembly carries P/Invoke (ImplMap) metadata, which is not allowed.

public const string PInvoke = "V-PINVOKE"

Field Value

string

PeEntrypoint

Generated artifact defines an entrypoint, which is not allowed.

public const string PeEntrypoint = "V-PE-ENTRYPOINT"

Field Value

string

PeFormat

Portable Executable container is malformed or not a valid DotBoxD.Kernels DLL.

public const string PeFormat = "V-PE-FORMAT"

Field Value

string

PeMetadata

Assembly has no CLR metadata or CLR header.

public const string PeMetadata = "V-PE-METADATA"

Field Value

string

PeMixed

Assembly is mixed-mode or contains native code.

public const string PeMixed = "V-PE-MIXED"

Field Value

string

PeNative

Assembly contains native PE or CLR header directories.

public const string PeNative = "V-PE-NATIVE"

Field Value

string

PeSection

Assembly contains a disallowed PE section or unsafe section permissions.

public const string PeSection = "V-PE-SECTION"

Field Value

string

PublicSurface

The public surface is wrong: extra types/methods, missing Execute, or bad visibility/name.

public const string PublicSurface = "V-PUBLIC-SURFACE"

Field Value

string

Resource

The assembly embeds resources, which are not allowed.

public const string Resource = "V-RESOURCE"

Field Value

string

Security

The assembly carries declarative security metadata, which is not allowed.

public const string Security = "V-SECURITY"

Field Value

string

Stack

The operand stack underflowed, mismatched the signature, or branch heights are inconsistent.

public const string Stack = "V-STACK"

Field Value

string

StackType

A value on the operand stack has a type that is not allowed at that position.

public const string StackType = "V-STACK-TYPE"

Field Value

string

TypeForbidden

A type reference matches a policy-forbidden prefix.

public const string TypeForbidden = "V-TYPE-FORBIDDEN"

Field Value

string

TypeReference

A type reference is not on the policy allow-list.

public const string TypeReference = "V-TYPE-REF"

Field Value

string

TypeShape

The generated type is not a static (abstract+sealed) non-interface type.

public const string TypeShape = "V-TYPE-SHAPE"

Field Value

string

Properties

All

The complete, maintained catalog of verifier diagnostic codes. Every V-* code that IGeneratedAssemblyVerifier can emit has exactly one entry here.

public static IReadOnlyList<VerifierDiagnosticReference> All { get; }

Property Value

IReadOnlyList<VerifierDiagnosticReference>

Methods

TryGetReference(string, out VerifierDiagnosticReference)

Looks up the documented reference for a diagnostic code. Returns false for unknown codes; callers on the security path should treat an unknown code conservatively rather than assuming it is benign.

public static bool TryGetReference(string code, out VerifierDiagnosticReference reference)

Parameters

code string

reference VerifierDiagnosticReference

Returns

bool