Calli is not Verifiable

re: Calli is not Verifiable

S N — Tue, 15 Jun 2004 00:05:00 GMT

Hi,

You forgot to mention an additional condition. If the function is not a static function, then the function should be a member of this object's type.

Thanks
SN

re: Calli is not Verifiable

Shawn — Tue, 15 Jun 2004 18:15:00 GMT

Are you talking about a verifiability rule or just a correct IL rule? You can call indirectly to an instance function of another class. For instance, even though this snippet is not verifiable due to calli, the following code works as expected:

ldstr "Test String"
ldftn instance string [mscorlib]System.String::ToLower()
calli instance string ()
call void [mscorlib]System.Console::WriteLine(string)

This will print "test string" to the console.

Taking out the calli, will produce verifiable code as well, so it's also possible to ldftn an instance function of another class:

ldstr "Test String"
ldftn instance string [mscorlib]System.String::ToLower()
pop
pop

-Shawn

More Clr stuff

Dinis Cruz @ Owasp .Net Project — Mon, 30 Jan 2006 14:55:24 GMT

Very,
Very interesting interview by Anders Hejlsberg (the lead C#
architect) with Bruce Eckel...