Tanács, Benedek (2009) Null pinter exception hibák azonosítása C/C++ rendszerekben statikus elemzéssel. Masters, Szegedi Tudományegyetem.