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 |
AnalyzedPositiveConditionGuard | Flow analysis for condition guards with an outcome of |
AnalyzedRefinement | Flow analysis for refinement nodes. |
AnalyzedSsaDefinition | Flow analysis for SSA definitions. |
AnalyzedVarDef | Flow analysis for |
FunctionWithAnalyzedParameters | A function with inter-procedural type inference for its parameters. |