SYSTEM TO ANALYSE SOFTWARE FOR ABSENCE OF UNDECLARED CAPABILITIES Russian patent published in 2017 - IPC G06F21/00 G06F21/50 G06F11/30 G06F12/16 

FIELD: information technology.

SUBSTANCE: control system of absence of undeclared capabilities in software, including a block of found control flow store for test software, an source software texts file storage block, a block of breakpoints setting to source files of software texts, a block for compiling source text files of software with set breakpoints, a block of execution of compiled software files, a block of a saved list of passed breakpoints, a block of storage of trails routes of compiled software files execution, a block of storage of a list of potentially dangerous software structures, a block of potentially dangerous software structures search in software source text files, a block of expert updating of automated analysis results, a block for potentially dangerous software structures testing, a block for saving results, wherein there are additional blocks: of initial state preservation of software source texts, of check for source texts redundancy, of analysis and of context information systematization.

EFFECT: increased reliability of software analysis results on absence of undeclared capabilities.

4 dwg