Polyvarians

I programanalys analyserar en polyvariant eller kontextkänslig analys (i motsats till en monovariant eller kontextokänslig analys) varje funktion flera gånger – vanligtvis en gång på varje anropsplats – för att förbättra analysens precision. Polyvarians är vanligt i dataflödes- och pekaranalyser .

Former av polyvarians inkluderar:

  • Call-site känslighet
  • Den kartesiska produktalgoritmen
  • Objektkänslighet
  • Typkänslighet

De två första används oftare för dataflödesanalyser, de två senare används oftare för pekaranalyser.

Källor