September, 2007

Blog - About

About Jason He's WebLog

Jason He = ZifengH 

 

  • Jason He's WebLog

    MSIL Verification Notes - 4

    • 0 Comments
    I thought I knew what is box and unbox. After reading the ECMA spec, I know that what I believed was actually wrong. Maybe you had the same incorrect impression in your mind. Box a integer will create an object on the heap and copy the date from valuetype...
  • Jason He's WebLog

    MSIL Verification Notes - 3

    • 1 Comments
    Below code tries to return a ByRef object which points on a stack location. CLR rule considers this kind of ByRef object is not safe to return to the caller. .method public instance int32& modopt([Microsoft.VisualC]Microsoft.VisualC.IsCXXPointerModifier...
  • Jason He's WebLog

    MSIL Verification Notes - 2

    • 1 Comments
    MSIL (or CIL) uses a stack based model. To make sure that Type-safe code to be secure, it can only access the meory locations it is authorized to acess. We verify the type on the stack. If the data type on the stack does not match the expection of an...
  • Jason He's WebLog

    MSIL Verification Notes - 1

    • 1 Comments
    I am recently working on some IL verification related scenario. IL verification is critical for CLR security. As CLR support for Silverlight approaching, it is a critical to make sure that our JIT can verify IL code correctly. I figured it would be interesting...
Page 1 of 1 (4 items)