Module Undefined

Import path

Variables.Undefined

Imports

Loop
TaintTracking

Python Taint Tracking Library

python

Classes

AtLeastOnceLoop

A loop where we are guaranteed (or is at least likely) to execute the body at least once.

ExitFunctionGuardedEdge

Prune edges where the predecessor block looks like it might contain a call to an exit function.

Uninitialized

Marker for “uninitialized”.

UninitializedSource

A source of an uninitialized variable. Either the start of the scope or a deletion.

UnitializedSanitizer