Statisk analyse

• Inspicerer kildekoden

• Finder potentielle fejl

• Kigger på alle logiske kørsels-”stier”

• Vil finde fejl som ikke er fejl

• Teoretisk et umuligt problem (f.eks. jvf. Halting Problem)

Notes:

“Static analysis tools” er ikke kun fejlfindsværktøjer. Nogle af værtøjerne har andre formål: lave call graphs, tælle kodelinier, checke coding style, generere dokumentation, ...