Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя