A statikus analízis egy olyan módszer, melynek során a szoftverrendszert annak végrehajtása nélkül elemezzük. Ehelyett a forráskódot és potenciálisan további információkat, mint pl. a fordítási utasítások vagy a verziókontrol használjuk fel. A statikus analízis gyorsan fejlődő terület, amely a programozási hibák és kétes konstrukciók felderítésétől a pontosabb, teljesebb kódmegértésig széles területet ível át.

A programozási nyelvel folyamatosan fejlődnek. Új nyelvek jelennek meg, a régiek új eszközökkel bővülnek - tipikusan a multiparadigma programozás irányában. Kritikus kérdés, hogyan tudjuk ezeket az új nyelvi eszközöket a leghatékonyabb módon felhasználni, hogyan tudjuk őket a meglevő szofterbázisba integrálni? Milyen új kérdések, megoldandó problémák merülnek fel.