9004 Problems of information security. Computer systems Проблемы информационной безопасности. Компьютерные системы 2071-8217 14 10.48612/jisp/p4m6-3pz2-1pdt Methodology for finding errors and nondeclared features in software Методология поиска ошибок и недекларированных возможностей в программном обеспечении 0009-0007-4911-8471 Samarin Nikolay samarin_nik@mail.ru Research Institute «Kvant» 01 08 2024 Спецвыпуск 157 164

The paper proposes a methodology of searching for errors and undeclared capabilities in software, which is based on: a graph model of software operation, a method of estimating the achievability of basic software blocks, a mechanism of general simulations and a method of point fuzzing which is using this mechanism

 information security software error detection methodology symbolic execution fuzzing