Module InterProceduralTypeInference
INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.
Provides classes implementing type inference across function calls.
Import path
import semmle.javascript.dataflow.internal.InterProceduralTypeInferenceImports
| AbstractValuesImpl | INTERNAL: Do not use directly; use |
Classes
| CallWithAnalyzedReturnFlow | A call with inter-procedural type inference for the return value. |
| CallWithNonLocalAnalyzedReturnFlow | A call with inter-procedural type inference for the return value. |
| LocalFunction | A function that only is used locally, making it amenable to type inference. |