A szoftverfejlesztést támogató eszközök jelentősége rohamosan nő az utóbbi évtizedekben. A forráskódok olyan méretűek, hogy azt átlátni szinte lehetetlen, de legalábbis nehézkes és időigényes folyamat. Így egyre inkább elterjednek azok az eszközök, melyek a kódmegértést, -karbantartást, hibakeresést támogatnak vagy éppen lehetőséget nyújtanak a forráskód különböző szempontok szerinti átalakítására. Ez a támogatás történhet dinamikusan, azaz futási időben, illetve statikusan a program futtatása nélkül. Előbbi esetben a már futó szoftver monitorozásával, esetlegesen a kód instrumentálásával nyerhetünk ki információt és segíthetjük ezzel a fejlesztőket. Utóbbi esetben viszont nincs szükség a szoftver futtatására, csupán a forráskód alapján gyűjtünk információt és használjuk fel különböző célokra.

Kutatásunkban Erlang programok statikus elemzésével foglalkozunk. Az Erlang egy nagy mértékben konkurens, elosztott szoftverek elemzéséhez tervezett programozási nyelv. Fontosságát az is mutatja, hogy a a Cisco évente 2 millió eszközt hoz forgalomba, melyeken Erlang kódokat futtat. Eszerint az internet forgalom 90%-a Erlang által vezérelt csomópontokon halad keresztül.

Kutatásunk során foglalkozunk a hibakeresés, szoftverek megértésének, transzformálásának támogatásával, különböző tulajdonságok vizsgálatával. Nagy hangsúlyt fektetünk a biztonságos programozás támogatására, a szoftverek biztonságának ellenőrzésére. Ezen kívül foglalkozunk energiahatékonység szoftveres kérdéseinek a vizsgálatával is.