Quarterly journal published in SPbPU
and edited by prof. Dmitry Zegzhda
and edited by prof. Dmitry Zegzhda
Peter the Great St. Petersburg Polytechnic University
Institute of computer sciences and technologies
information security of computer systems
Institute of computer sciences and technologies
information security of computer systems
Information Security Problems. Computer Systems
Published since 1999.
ISSN 2071-8217
ISSN 2071-8217
METHODOLOGY FOR FINDING ERRORS AND NONDECLARED FEATURES IN SOFTWARE
N. N. Samarin Research Institute "Kvant"
Annotation: 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
Keywords: information security, software, error detection, methodology, symbolic execution, fuzzing
Pages 157-164