Module InterProceduralTypeInference

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

Provides classes implementing type inference across function calls.

Import path

semmle.javascript.dataflow.internal.InterProceduralTypeInference

Imports

AbstractValuesImpl

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

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

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.