FIELD: information technology.
SUBSTANCE: system has a unit for storing found control streams of the software under analysis, a unit for storing source code files of the software, a unit for setting breakpoints in the source code files, a unit for compiling source code files with the set breakpoints, a unit for executing the compiled files, a unit for storing the list of the passed breakpoints, a unit for storing routes for executing the compiled files, a unit for storing a list of potentially dangerous program instructions, a unit for searching for potentially dangerous program instructions in source code files, a unit for expert correction of automated analysis results, a unit for storing final results, a unit for storing the full list of possible software classification features, a unit for predicting software options, a unit for storing the list of available software options, a unit for recording actions of the software, a unit for monitoring conformity of actions performed by the software with the list of available software options.
EFFECT: high reliability owing to automation of adaptation of the mechanism for monitoring lack of potentially undeclared options depending on the type of the analysed program.
3 dwg
Title | Year | Author | Number |
---|---|---|---|
SYSTEM FOR MONITORING LACK OF UNDECLARED OPTIONS IN SOFTWARE | 2010 |
|
RU2434265C1 |
SYSTEM TO MONITOR UNAVAILABILITY OF UNDECLARED OPPORTUNITIES IN SOFTWARE | 2009 |
|
RU2419135C1 |
SYSTEM TO ANALYSE SOFTWARE FOR ABSENCE OF UNDECLARED CAPABILITIES | 2016 |
|
RU2622622C1 |
SYSTEM FOR ANALYSING SOFTWARE FOR ABSENCE OF UNDECLARED FUNCTIONALITY | 2024 |
|
RU2823450C1 |
SYSTEM OF ANALYSIS OF SOFTWARE IN THE ABSENCE OF POTENTIALLY HAZARDOUS FUNCTIONAL OBJECTS | 2018 |
|
RU2675210C1 |
SOFTWARE ANALYSIS METHOD BASED ON ABSENCE OF UNDECLARED FUNCTIONALITIES | 2019 |
|
RU2711041C1 |
SYSTEM TO ASSESS SCOPE OF WORKS TO CONTROL UNAVAILABILITY OF UNDECLARED CAPABILITIES IN SOFTWARE | 2010 |
|
RU2445684C2 |
SYSTEM TO MONITOR INTEGRITY OF INITIAL SOFTWARE TEXT FILES | 2009 |
|
RU2419136C1 |
INTEGRATED MECHANISMS "VIPPER" FOR PREPARATION AND REALIZATION OF REMOTE MONITORING AND BLOCKING OF POTENTIALLY DANGEROUS OBJECT, FITTED WITH UNITIZED-MODULAR EQUIPMENT AND MACHINE-READ CARRIERS OF DATA BASES AND PLUG-IN PROGRAM MODULE LIBRARIES | 2005 |
|
RU2315258C2 |
EXPERT-ANALYTICAL INFORMATION SYSTEM FOR FORMALIZATION OF TASKS AND FORMULATED TASK SOLVING | 2017 |
|
RU2666646C1 |
Authors
Dates
2011-11-20—Published
2010-06-04—Filed