SYSTEM TO MONITOR UNAVAILABILITY OF UNDECLARED OPPORTUNITIES IN SOFTWARE Russian patent published in 2011 - IPC G06F12/16 G06F11/30 

FIELD: information technologies.

SUBSTANCE: system comprises a unit to store found flows of investigated software control, a unit to store files of initial software texts, a unit of setting reference points into files of initial software texts, a unit to compile files of initial software files with set reference points, a unit to make compiled software files, a unit to store a list of checked reference points, a unit to store routes of compiled software file tracks completion, a unit to store a list of potentially hazardous software structures, a unit to search for potentially hazardous software structures in files of initial software texts, a unit for expert correction of automated analysis results, a unit to store final results, a unit to build networks of Petri files of initial software texts, a unit to analyse and mark branches of Petri networks, which are excluded from further processing, a unit to store optimised initial texts.

EFFECT: considerable reduction of work flow in automated monitoring of undeclared opportunities unavailability in initial software texts.

2 dwg