Namespace Flame.Clr.Analysis

Classes

CilCatchHandler

A CIL exception handler that has typical 'catch' behavior: it is triggered when an exception is thrown and does not have special interactions with 'leave' instructions.

CilExceptionHandler

Describes a CIL exception handler.

CilFinallyHandler

A CIL exception handler that has typical 'finally' behavior: it intercepts 'leave' branches.

CilPrototypeExceptionSpecs

Exception specifications for prototypes that rely on CIL's semantics.

ClrInstructionSimplifier

Simplifies CIL instructions by rewriting them.

ClrMethodBodyAnalyzer

A data structure that analyzes CIL instructions and translates them to Flame IR.