CodeQL library for JavaScript
Search

Module VariableTypeInference

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

Provides classes implementing type inference for variables.

Import path

import semmle.javascript.dataflow.internal.VariableTypeInference

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.