Class VerifierDiagnosticCodes
Namespace: DotBoxD.Kernels.Verifier.Diagnostics
Assembly: DotBoxD.Kernels.Verifier.dll
Public, maintained reference for the V-* diagnostic codes emitted by
DotBoxD.Kernels.Verifier.Generated.IGeneratedAssemblyVerifier through DotBoxD.Kernels.Verifier.Generated.VerificationResult.Diagnostics.
Consumers should reference these constants instead of hard-coding magic strings, and can use
DotBoxD.Kernels.Verifier.Diagnostics.VerifierDiagnosticCodes.All / DotBoxD.Kernels.Verifier.Diagnostics.VerifierDiagnosticCodes.TryGetReference(System.String,DotBoxD.Kernels.Verifier.Diagnostics.VerifierDiagnosticReference@) to map a code to its documented meaning,
likely cause, category, and remediation.
public static class VerifierDiagnosticCodesInheritance
Section titled “Inheritance”object ← VerifierDiagnosticCodes
Inherited Members
Section titled “Inherited Members”object.Equals(object?), object.Equals(object?, object?), object.GetHashCode(), object.GetType(), object.MemberwiseClone(), object.ReferenceEquals(object?, object?), object.ToString()
Fields
Section titled “Fields”An array allocation uses an element type other than the allowed DotBoxD.Kernels value type.
public const string Array = "V-ARRAY"Field Value
Section titled “Field Value”AssemblyReference
Section titled “ AssemblyReference”An assembly reference is not on the policy allow-list.
public const string AssemblyReference = "V-ASM-REF"Field Value
Section titled “Field Value”CompiledShape
Section titled “ CompiledShape”The compiled Execute/function shape does not match the required DotBoxD.Kernels dispatch shape.
public const string CompiledShape = "V-COMPILED-SHAPE"Field Value
Section titled “Field Value”ControlFlow
Section titled “ ControlFlow”A branch targets an offset that is not a valid instruction boundary.
public const string ControlFlow = "V-CONTROL-FLOW"Field Value
Section titled “Field Value”CustomAttribute
Section titled “ CustomAttribute”The generated assembly carries a custom attribute, which is not allowed.
public const string CustomAttribute = "V-CUSTOM-ATTR"Field Value
Section titled “Field Value”Exception
Section titled “ Exception”A method body declares exception handlers, which are not allowed.
public const string Exception = "V-EXCEPTION"Field Value
Section titled “Field Value”ExecuteSignature
Section titled “ ExecuteSignature”The Execute method signature does not match the required DotBoxD.Kernels entrypoint signature.
public const string ExecuteSignature = "V-EXECUTE-SIGNATURE"Field Value
Section titled “Field Value”The generated type declares fields, which is not allowed.
public const string Field = "V-FIELD"Field Value
Section titled “Field Value”FieldStatic
Section titled “ FieldStatic”The generated type declares a mutable static field, which is not allowed.
public const string FieldStatic = "V-FIELD-STATIC"Field Value
Section titled “Field Value”FunctionSignature
Section titled “ FunctionSignature”A generated Fn_* helper does not match the required DotBoxD.Kernels function signature.
public const string FunctionSignature = "V-FUNCTION-SIGNATURE"Field Value
Section titled “Field Value”Generic
Section titled “ Generic”The generated type or a method declares generic parameters, which are not allowed.
public const string Generic = "V-GENERIC"Field Value
Section titled “Field Value”IlFormat
Section titled “ IlFormat”A method body contained malformed or unreadable IL.
public const string IlFormat = "V-IL-FORMAT"Field Value
Section titled “Field Value”ManifestHash
Section titled “ ManifestHash”Assembly hash is missing from the manifest or does not match the artifact bytes.
public const string ManifestHash = "V-MANIFEST-HASH"Field Value
Section titled “Field Value”ManifestIdentity
Section titled “ ManifestIdentity”Manifest identity does not match the expected verification context, or none was supplied.
public const string ManifestIdentity = "V-MANIFEST-IDENTITY"Field Value
Section titled “Field Value”Member
Section titled “ Member”A member (method/field) reference or local call target is not allowed by policy.
public const string Member = "V-MEMBER"Field Value
Section titled “Field Value”MetadataShape
Section titled “ MetadataShape”A disallowed metadata table is present (interfaces, properties, events, nested types, layout, and similar).
public const string MetadataShape = "V-METADATA-SHAPE"Field Value
Section titled “Field Value”MethodAttribute
Section titled “ MethodAttribute”A method uses unsupported attributes (virtual/abstract/synchronized/native/internal-call/non-static).
public const string MethodAttribute = "V-METHOD-ATTR"Field Value
Section titled “Field Value”MethodBody
Section titled “ MethodBody”A generated executable method is missing its method body.
public const string MethodBody = "V-METHOD-BODY"Field Value
Section titled “Field Value”MethodName
Section titled “ MethodName”A method name is not an expected generated method name.
public const string MethodName = "V-METHOD-NAME"Field Value
Section titled “Field Value”MethodPInvoke
Section titled “ MethodPInvoke”A method carries P/Invoke attributes.
public const string MethodPInvoke = "V-METHOD-PINVOKE"Field Value
Section titled “Field Value”MethodSpecial
Section titled “ MethodSpecial”A disallowed special method (such as .cctor or Finalize) is present.
public const string MethodSpecial = "V-METHOD-SPECIAL"Field Value
Section titled “Field Value”ModuleSurface
Section titled “ ModuleSurface”Module-level (<Module>) methods or fields are present, which is not allowed.
public const string ModuleSurface = "V-MODULE-SURFACE"Field Value
Section titled “Field Value”OpCode
Section titled “ 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
Section titled “Field Value”Operand
Section titled “ Operand”An argument or local operand index is out of range for the method.
public const string Operand = "V-OPERAND"Field Value
Section titled “Field Value”PInvoke
Section titled “ PInvoke”The assembly carries P/Invoke (ImplMap) metadata, which is not allowed.
public const string PInvoke = "V-PINVOKE"Field Value
Section titled “Field Value”PeEntrypoint
Section titled “ PeEntrypoint”Generated artifact defines an entrypoint, which is not allowed.
public const string PeEntrypoint = "V-PE-ENTRYPOINT"Field Value
Section titled “Field Value”PeFormat
Section titled “ PeFormat”Portable Executable container is malformed or not a valid DotBoxD.Kernels DLL.
public const string PeFormat = "V-PE-FORMAT"Field Value
Section titled “Field Value”PeMetadata
Section titled “ PeMetadata”Assembly has no CLR metadata or CLR header.
public const string PeMetadata = "V-PE-METADATA"Field Value
Section titled “Field Value”PeMixed
Section titled “ PeMixed”Assembly is mixed-mode or contains native code.
public const string PeMixed = "V-PE-MIXED"Field Value
Section titled “Field Value”PeNative
Section titled “ PeNative”Assembly contains native PE or CLR header directories.
public const string PeNative = "V-PE-NATIVE"Field Value
Section titled “Field Value”PeSection
Section titled “ PeSection”Assembly contains a disallowed PE section or unsafe section permissions.
public const string PeSection = "V-PE-SECTION"Field Value
Section titled “Field Value”PublicSurface
Section titled “ PublicSurface”The public surface is wrong: extra types/methods, missing Execute, or bad visibility/name.
public const string PublicSurface = "V-PUBLIC-SURFACE"Field Value
Section titled “Field Value”Resource
Section titled “ Resource”The assembly embeds resources, which are not allowed.
public const string Resource = "V-RESOURCE"Field Value
Section titled “Field Value”Security
Section titled “ Security”The assembly carries declarative security metadata, which is not allowed.
public const string Security = "V-SECURITY"Field Value
Section titled “Field Value”The operand stack underflowed, mismatched the signature, or branch heights are inconsistent.
public const string Stack = "V-STACK"Field Value
Section titled “Field Value”StackType
Section titled “ 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
Section titled “Field Value”TypeForbidden
Section titled “ TypeForbidden”A type reference matches a policy-forbidden prefix.
public const string TypeForbidden = "V-TYPE-FORBIDDEN"Field Value
Section titled “Field Value”TypeReference
Section titled “ TypeReference”A type reference is not on the policy allow-list.
public const string TypeReference = "V-TYPE-REF"Field Value
Section titled “Field Value”TypeShape
Section titled “ TypeShape”The generated type is not a static (abstract+sealed) non-interface type.
public const string TypeShape = "V-TYPE-SHAPE"Field Value
Section titled “Field Value”Properties
Section titled “Properties”The complete, maintained catalog of verifier diagnostic codes. Every V-* code that
DotBoxD.Kernels.Verifier.Generated.IGeneratedAssemblyVerifier can emit has exactly one entry here.
public static IReadOnlyList<VerifierDiagnosticReference> All { get; }Property Value
Section titled “Property Value”IReadOnlyList<VerifierDiagnosticReference>
Methods
Section titled “Methods”TryGetReference(string, out VerifierDiagnosticReference)
Section titled “ 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
Section titled “Parameters”code string
reference VerifierDiagnosticReference