Polivarianza

En el análisis de programas , un análisis polivariante o sensible al contexto (a diferencia de un análisis monovariante o insensible al contexto ) analiza cada función varias veces —normalmente una vez en cada punto de llamada— para mejorar la precisión del análisis. ^{[ 1 ]} La polivariancia es común en los análisis de flujo de datos y de punteros .

Las formas de polivarianza incluyen:

• Sensibilidad del sitio de llamada ^{[ 2 ]}
• El algoritmo del producto cartesiano ^{[ 3 ]}
• Sensibilidad del objeto ^{[ 2 ]}
• Sensibilidad de tipo ^{[ 2 ]}

Los dos primeros se utilizan con mayor frecuencia para análisis de flujo de datos, mientras que los dos últimos se utilizan con mayor frecuencia para análisis de punteros.