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
- Smaragdakis, Yannis; Balatsouras, George (2015). "Pekaranalys" (PDF) . Grunder och trender inom programmeringsspråk . 2 (1): 1–69. doi : 10.1561/2500000014 . Hämtad 30 maj 2019 .