Polyvariance
id:
polyvariance-285-13980804
title:
Polyvariance
text:
In program analysis, a polyvariant or context-sensitive 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 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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Polyvariance
date created:
date modified:
2023-08-08T15:36:10Z
main entity:
{"identifier":"Q7227142","url":"https://www.wikidata.org/entity/Q7227142"}
image:
fields total:
13
integrity:
13