#sig is too small to decode return type
invalid offset blob.i (table-row (6 0) + 10) set-byte 2
+ #zero generic args
+ #method 1 is generic
+ #bytes: size cconv gen_param_count
+ invalid offset blob.i (table-row (6 1) + 10) + 2 set-byte 0
+
#set ret type to an invalid value
invalid offset blob.i (table-row (6 0) + 10) + 3 set-byte 0
invalid offset blob.i (table-row (6 0) + 10) + 3 set-byte 0x17
invalid offset blob.i (table-row (6 0) + 10) + 3 set-byte 0x54 #property
invalid offset blob.i (table-row (6 0) + 10) + 3 set-byte 0x55 #enum
+ #bad args
+ #method 12 has sig void (int,int,int)
+ #bytes: size cconv param_count void int32 int32 int32
+ valid offset blob.i (table-row (6 12) + 10) + 4 set-byte 0x05
+ valid offset blob.i (table-row (6 12) + 10) + 5 set-byte 0x06
+ valid offset blob.i (table-row (6 12) + 10) + 6 set-byte 0x07
+
+ #void
+ invalid offset blob.i (table-row (6 12) + 10) + 5 set-byte 0x01
+
+ #byref without anything after
+ invalid offset blob.i (table-row (6 12) + 10) + 4 set-byte 0x10
+ invalid offset blob.i (table-row (6 12) + 10) + 5 set-byte 0x10
+ invalid offset blob.i (table-row (6 12) + 10) + 6 set-byte 0x10
}
-method-def-sig2 {
+#Test for stuff in the ret that can't be expressed with C#
+method-def-ret-misc {
assembly assembly-with-custommod.exe
#method 0 has a modreq
#switch modreq to modopt
valid offset blob.i (table-row (6 0) + 10) + 3 set-byte 0x20
+ #2 times byref
+ #method 4 returns byref
+ #bytes: size cconv param_count byref int32
+ invalid offset blob.i (table-row (6 4) + 10) + 4 set-byte 0x10
+ #byref of typedref
+ invalid offset blob.i (table-row (6 4) + 10) + 4 set-byte 0x16
+
+}
+
+method-ref-sig {
+ assembly assembly-with-signatures.exe
+
+ #member ref 0 is has a vararg sig
+ #member ref 1 don't use vararg
+
+ #2 sentinels
+ #bytes: size cconv pcount void str obj obj obj obj ... i32 i32 i32
+ invalid offset blob.i (table-row (0xA 0) + 4) + 10 set-byte 0x41
+ invalid offset blob.i (table-row (0xA 0) + 4) + 11 set-byte 0x41
+
+ #sentinel but not vararg
+ invalid offset blob.i (table-row (0xA 0) + 4) + 1 set-byte 0
+}
+
+stand-alone-method-sig {
+ assembly assembly-with-custommod.exe
+
+ #standalone sig 0x3 points to an icall sig
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x0
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x1
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x2
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x3
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x4
+ valid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x5
+
+ #sig is int32 (int32)
+ #size cconv pcount(1) int32 int32 ->
+ #size cconv gcount(1) pcount(0) int32
+ #cannot have generics
+ invalid offset blob.i (table-row (0x11 3)) + 1 set-byte 0x10,
+ offset blob.i (table-row (0x11 3)) + 2 set-byte 1,
+ offset blob.i (table-row (0x11 3)) + 3 set-byte 0
+}
+
+field-sig {
+ assembly assembly-with-complex-type.exe
+
+ #first byte must be 6
+ invalid offset blob.i (table-row (4 0) + 4) + 1 set-byte 0x0
+ invalid offset blob.i (table-row (4 0) + 4) + 1 set-byte 0x5
+ invalid offset blob.i (table-row (4 0) + 4) + 1 set-byte 0x7
+ invalid offset blob.i (table-row (4 0) + 4) + 1 set-byte 0x16
+ invalid offset blob.i (table-row (4 0) + 4) + 1 set-byte 0x26
+}
+
+property-sig {
+ assembly assembly-with-properties.exe
+
+ #bad size
+ invalid offset blob.i (table-row (0x17 0) + 4) set-byte 0x0
+ invalid offset blob.i (table-row (0x17 0) + 4) set-byte 0x1
+
+ #cconv must be 0x08 or 0x28
+ valid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x08
+ valid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x28
+
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x09
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x29
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x48
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x18
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x07
+ invalid offset blob.i (table-row (0x17 0) + 4) + 1 set-byte 0x00
+}
+
+locals-sig {
+ assembly assembly-with-locals.exe
+
+ #bad local sig
+ #row 0 has tons of locals
+ #row 1 is int32&, int32
+ #row 2 is typedref
+
+ #typedref with byref
+ #row 1 is: cconv pcount(2) byref int32 int32
+ #row 1 goes to: cconv pcount(2) byref typedbyref int32
+ invalid offset blob.i (table-row (0x11 1)) + 4 set-byte 0x18
+
+ #byref pinned int32
+ #row 1 is: cconv pcount(2) byref int32 int32
+ #row 1 goes to: cconv pcount(1) byref pinned int32
+
+ invalid offset blob.i (table-row (0x11 1)) + 2 set-byte 0x01,
+ offset blob.i (table-row (0x11 1)) + 4 set-byte 0x45
+
+ #pinned pinned int32
+ #row 1 is: cconv pcount(2) byref int32 int32
+ #row 1 goes to: cconv pcount(1) pinned pinned int32
+
+ invalid offset blob.i (table-row (0x11 1)) + 2 set-byte 0x01,
+ offset blob.i (table-row (0x11 1)) + 3 set-byte 0x45,
+ offset blob.i (table-row (0x11 1)) + 4 set-byte 0x45
+}
+
+type-enc {
+ assembly assembly-with-types.exe
-}
\ No newline at end of file
+ #valid
+ #change type from int to string
+ valid offset blob.i (table-row (0x04 0) + 4) + 2 set-byte 0x0E
+
+ #field 10 is cconv PTR int32
+ #make it: cconv PTR modreq
+ invalid offset blob.i (table-row (0x04 11) + 4) + 3 set-byte 0x1f
+
+ #pointer to pointer (not enought room to parse pointed to type)
+ #make it: cconv PTR PTR
+ invalid offset blob.i (table-row (0x04 11) + 4) + 3 set-byte 0x0f
+
+ #value type / class
+ #make it not have room for the token
+ invalid offset blob.i (table-row (0x04 0) + 4) + 2 set-byte 0x11
+ invalid offset blob.i (table-row (0x04 0) + 4) + 2 set-byte 0x12
+
+ #var / mvar
+ #make it not have room for the token
+ invalid offset blob.i (table-row (0x04 0) + 4) + 2 set-byte 0x13
+ invalid offset blob.i (table-row (0x04 0) + 4) + 2 set-byte 0x1e
+
+ #general array
+ #field 3 is a int32[,,]: cconv ARRAY int32 rank(3) nsizes(0) nlowb(0)
+ #make the array type invalid (byref/typedref/void/plain wrong)
+ invalid offset blob.i (table-row (0x04 3) + 4) + 3 set-byte 0x00
+ invalid offset blob.i (table-row (0x04 3) + 4) + 3 set-byte 0x01
+ invalid offset blob.i (table-row (0x04 3) + 4) + 3 set-byte 0x10
+ #LAMEIMPL MS accepts arrays of typedbyref, which is illegal and unsafe
+ invalid offset blob.i (table-row (0x04 3) + 4) + 3 set-byte 0x16
+
+ #LAMEIMPL MS verifier doesn't catch this one (runtime does)
+ #rank 0
+ invalid offset blob.i (table-row (0x04 3) + 4) + 4 set-byte 0x00
+ #large nsizes
+ invalid offset blob.i (table-row (0x04 3) + 4) + 5 set-byte 0x1F
+ #large nlowb
+ invalid offset blob.i (table-row (0x04 3) + 4) + 6 set-byte 0x1F
+
+
+ #generic inst
+ #field 20 is Test<int32>; 21 is class [mscorlib]System.IComparable`1<object>; 22 is valuetype Test2<!0>
+ #format is cconc GINST KIND token arg_count type*
+
+ #make bad kind
+ invalid offset blob.i (table-row (0x04 20) + 4) + 3 set-byte 0x05
+
+ #bad token
+ invalid offset blob.i (table-row (0x04 20) + 4) + 4 set-byte 0x3F
+ #zero arg_count
+ invalid offset blob.i (table-row (0x04 20) + 4) + 5 set-byte 0x0
+ #bad arg_count
+ invalid offset blob.i (table-row (0x04 20) + 4) + 5 set-byte 0x10
+
+ #fnptr
+ #field 10 is a fnptr
+ #format is: cconv FNPTR cconv pcount ret param* sentinel? param*
+ #LAMESPEC, it lacks the fact that fnptr allows for unmanaged call conv
+ #bad callconv
+ invalid offset blob.i (table-row (0x04 10) + 4) + 3 set-byte 0x88
+
+ #szarray
+ #field 17 is an array with modreq on target
+ #format is: cconv SZARRAY cmod* type
+ #array type is void
+ invalid offset blob.i (table-row (0x04 17) + 4) + 3 set-byte 0x01
+}
+
+typespec-sig {
+ assembly assembly-with-typespec.exe
+
+ #LAMESPEC
+ #ecma spec doesn't allow simple types such as uint32. But MS does and there
+ #is no harm into supporting it.
+ #row zero is "void*" encoded as PTR VOID
+ valid offset blob.i (table-row (0x1B 0)) + 1 set-byte 0x09
+
+ #type zero is invalid
+ invalid offset blob.i (table-row (0x1B 0)) + 1 set-byte 0x0
+
+ #LAMESPEC part II, MS allows for cmods on a typespec as well
+ #modreq int32 is invalid
+ #typespec 2 is "modreq int32*" encoded as: PTR CMOD_REQD token INT32
+ #change int to CMOD_REQD token INT32
+ valid offset blob.i (table-row (0x1B 2)) + 1 set-byte 0x1f, #CMOD_REQD
+ offset blob.i (table-row (0x1B 2)) + 2 set-byte read.byte (blob.i (table-row (0x1B 2)) + 3), #token
+ offset blob.i (table-row (0x1B 2)) + 3 set-byte 0x08 #int8
+
+ #typedref is fine too.
+ valid offset blob.i (table-row (0x1B 2)) + 0 set-byte 0x16
+}
+
+methodspec-sig {
+ assembly assembly-with-generics.exe
+
+ #LAMESPEC spec is completelly wrong on this one. method spec holds simply a generic instantation
+ #no type on it
+
+ #first byte is the genericinst callconv 0xA
+ #row zero is Gen<!1> or: GENRICINST gcount(1) type*
+ invalid offset blob.i (table-row (0x2B 0) + 2) + 1 set-byte 0x08
+
+ #zero arg count
+ invalid offset blob.i (table-row (0x2B 0) + 2) + 2 set-byte 0x0
+
+ #bad argument
+ invalid offset blob.i (table-row (0x2B 0) + 2) + 3 set-byte 0x01
+}
+
+method-header {
+ assembly assembly-with-methods.exe
+
+ #invalid header kind
+ #method zero is an empty .ctor(), so it takes 7 bytes (call super + ret)
+ invalid offset translate.rva.ind (table-row (0x06 0)) + 0 set-byte 0x1C
+ invalid offset translate.rva.ind (table-row (0x06 0)) + 0 set-byte 0x1D
+
+ #method 1 has fat header
+ #size must be 3
+ invalid offset translate.rva.ind (table-row (0x06 1)) + 0 set-ushort 0x0013
+ invalid offset translate.rva.ind (table-row (0x06 1)) + 0 set-ushort 0x1013
+ invalid offset translate.rva.ind (table-row (0x06 1)) + 0 set-ushort 0x2013
+ invalid offset translate.rva.ind (table-row (0x06 1)) + 0 set-ushort 0x5013
+ invalid offset translate.rva.ind (table-row (0x06 1)) + 0 set-ushort 0xF013
+
+}
projects / mono.git / blobdiff