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