Module ConditionalBypass::UserControlledBypassOfSensitiveMethod

Imports

BasicBlocks

Provides classes representing basic blocks.

Guards

Provides classes for working with guarded expressions.

Net

Provides definitions related to the namespace System.Net.

Remote

Provides classes representing data flow sources for remote user input.

SensitiveActions

Provides classes and predicates for identifying sensitive data and methods for security.

System

Provides definitions related to the namespace System.

Predicates

conditionControlsMethod

Calls to a sensitive method that are controlled by a condition on the given expression.

Classes

ConditionControllingSensitiveAction

An expression which is a condition which controls access to a sensitive action.

Configuration

A taint-tracking configuration for user-controlled bypass of sensitive method.

RemoteSource

A source of remote user input.

ReverseDnsSource

The result of a reverse dns may be user-controlled.

Sanitizer

A sanitizer for user-controlled bypass of sensitive method.

Sink

A data flow sink for user-controlled bypass of sensitive method.

Source

A data flow source for user-controlled bypass of sensitive method.