qtil
advanced-security/qtil-csharp 0.0.3
Search

Module csharp

The default C# QL library.

Import path

import csharp

Imports

Access

Provides all access expression classes.

AnnotatedType

Provides predicates and classes for representing annotations on types, such as nullability information.

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.

Customizations

Contains customizations to the standard library.

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.

Preprocessor

Provides all preprocessor directive classes.

Property

Provides classes for properties, indexers, and accessors.

SSA

Provides the module Ssa 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.