Module VariableTypeInference

INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.

Provides classes implementing type inference for variables.

Import path

semmle.javascript.dataflow.internal.VariableTypeInference

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Classes

AnalyzedConditionGuard

Flow analysis for refinement nodes where the guard is a condition.

AnalyzedNegativeConditionGuard

Flow analysis for condition guards with an outcome of false.

AnalyzedPositiveConditionGuard

Flow analysis for condition guards with an outcome of true.

AnalyzedRefinement

Flow analysis for refinement nodes.

AnalyzedSsaDefinition

Flow analysis for SSA definitions.

AnalyzedVarDef

Flow analysis for VarDefs.

FunctionWithAnalyzedParameters

A function with inter-procedural type inference for its parameters.