CodeQL library for JavaScript
Search

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 semmle.javascript.dataflow.TypeInference instead.

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.