program analysis In computer science, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization an ...

, a polyvariant or context-sensitive analysis (as opposed to a monovariant or context-insensitive analysis) analyzes each function multiple times—typically once at each call site—to improve the precision of the analysis. Polyvariance is common in data-flow and pointer analyses. Forms of polyvariance include: * Call-site sensitivity * The

Cartesian product In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table c ...

algorithm * Object sensitivity * Type sensitivity The first two are more often used for dataflow analyses, the latter two are more frequently used for pointer analyses.

References

Sources

* Program analysis Polymorphism (computer science) {{comp-sci-stub