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.InterProceduralTypeInference
Imports
| 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. |