A programokat gyakran nem elég statikusan vizsgálni,
tudnunk kell, hogyan viselkednek dinamikusan, egy-egy
konkrét lefutás során. Ilyen információkat szolgáltatnak
egyes szoftverfejlesztési eszközök, pl. a debuggerek, ill.
profilerek. Megvalósításuk azonban számos nehézséggel jár.
Az ezzel kapcsolatos kutatásokról lesz szó az előadáson.
