Module csharp

The default C# QL library.

Import path

csharp

Imports

Access

Provides all access expression classes.

ArithmeticOperation

Provides all arithmetic operation classes.

Assignment

Provides all assignment classes.

Attribute

Provides the Attribute class.

BitwiseOperation

Provides all bitwise operation classes.

Call

Provides all call classes.

Callable

Provides Callable classes, which are things that can be called such as methods and operators.

Comments

Provides classes representing comments.

ComparisonOperation

Provides all comparison operation classes.

ControlFlowGraph
Creation

Provides expression classes for creating various types of object.

DataFlow

Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.

Dynamic

Provides all dynamic expression classes.

Element

Provides the Element class, the base class of all C# program elements.

Event

Provides classes representing events and event accessors.

Expr

Provides all expression classes.

File

Provides classes representing filesystem files and folders.

Generics

Provides support for generic types and methods.

Literal

Provides all literal classes.

Location

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

LogicalOperation

Provides all logical operation classes.

Member

Provides classes relating to declarations and type members.

Namespace

Provides classes for namespaces.

Property

Provides classes for properties, indexers, and accessors.

SSA

Provides classes for working with static single assignment (SSA) form.

Stmt

Provides all statement classes.

TaintTracking

Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

Type

Provides classes for types.

Using

Provides all using directive classes.

Variable

Provides classes for variables, such as fields, parameters, local variables, and constants.

XML

Provides classes and predicates for working with XML files and their content.

Predicates

extractionIsStandalone

Whether the source was extracted without a build command.

Modules

ControlFlowGraph

DEPRECATED: Use ControlFlow instead.