Исследование методов обнаружения потенциальных уязвимостей в программном кодестатья