merging type-stacks for peverify's sake

Topics: Metadata Model
Aug 22, 2010 at 7:31 PM


I was looking in TypeHelper at 

  public static ITypeDefinition MergedType(ITypeDefinition type1, ITypeDefinition type2)

in the hope that it was used behind-the-scenes of Emit calls, to automatically insert the casts that keep peverify happy. No chance, right?

Failing that, is there some utility in ccimetadata to compute type-stacks at each instruction point? Some framework for iterative dataflow? 


Aug 30, 2010 at 5:47 AM

The closest match to what you are asking for can be found in The metadata model to code model decompiler has visitor called unstacker that computes type-stacks.

Feel free to e-mail me directly with more details on your scenario and I'll reply at greater length.