Module CIL

Provides the core CIL data model.

Import path

semmle.code.cil.CIL

Imports

Access

Provides classes for accesses.

Attribute

Provides the Attribute class.

BasicBlock

Provides classes representing basic blocks.

ControlFlow

Provides classes for control flow.

DataFlow

Provides a collection of building blocks and utilities for data flow.

Declaration

Provides classes for declarations and members.

Element

Provides the Element class, the base class of all CIL program elements.

Generics

Provides classes for generic types and methods.

Handler

Provides classes for different types of handler.

Instruction

Provides the Instruction class.

InstructionGroups

Provides classes representing various classes of expression and other instructions.

Instructions

Provides classes representing individual opcodes.

Location

Provides the Location class to give a location for each program element.

Method

Provides classes for methods.

Type

Provides classes for types and associated classes.

Types

Provides classes representing various types.

Variable

Provides classes for variables.