Statisk programanalys är analys av datorprogramvara som utförs utan att verkligen exekvera programmet, i motsats till dynamisk analys, som analyserar program medan de körs.[1] I de flesta fall utförs analysen på någon version av källkoden, och i andra fall någon form av objektkod.

Referenser redigera

  1. ^ Wichmann, B. A.; Canning, A. A.; Clutterbuck, D. L.; Winsbarrow, L. A.; Ward, N. J.; Marsh, D. W. R. (Mar 1995). ”Industrial Perspective on Static Analysis.”. Software Engineering Journal: sid. 69–75. Arkiverad från originalet den 2011-09-27. https://web.archive.org/web/20110927010304/http://www.ida.liu.se/~TDDC90/papers/industrial95.pdf.  Arkiverad 27 september 2011 hämtat från the Wayback Machine. ”Arkiverade kopian”. Arkiverad från originalet den 27 september 2011. https://web.archive.org/web/20110927010304/http://www.ida.liu.se/~TDDC90/papers/industrial95.pdf. Läst 26 oktober 2019.