SYSTEM FOR MONITORING LACK OF UNDECLARED OPTIONS IN SOFTWARE Russian patent published in 2011 - IPC G06F17/00 

Abstract RU 2434272 C1

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

Similar patents RU2434272C1

Title Year Author Number
SYSTEM FOR MONITORING LACK OF UNDECLARED OPTIONS IN SOFTWARE 2010
  • Minakov Vladimir Aleksandrovich
  • Miroshnikov Vjacheslav Viktorovich
  • Burushkin Aleksej Anatol'Evich
RU2434265C1
SYSTEM TO MONITOR UNAVAILABILITY OF UNDECLARED OPPORTUNITIES IN SOFTWARE 2009
  • Burushkin Aleksej Anatol'Evich
  • Minakov Vladimir Aleksandrovich
  • Miroshnikov Vjacheslav Viktorovich
  • Grishchenko Kristina Pavlovna
RU2419135C1
SYSTEM TO ANALYSE SOFTWARE FOR ABSENCE OF UNDECLARED CAPABILITIES 2016
  • Goryunov Maksim Nikolaevich
  • Melnikov Pavel Vyacheslavovich
  • Zakalkin Pavel Vladimirovich
  • Vorobev Sergej Anatolevich
  • Anisimov Dmitrij Vladimirovich
  • Petrov Konstantin Evgenevich
RU2622622C1
SYSTEM FOR ANALYSING SOFTWARE FOR ABSENCE OF UNDECLARED FUNCTIONALITY 2024
  • Dobrovolskaya Anastasiya Vladimirovna
  • Syzranov Aleksej Pavlovich
  • Mukhtarov Sergej Arturovich
  • Miroshnichenko Evgenij Leonidovich
  • Mezentsev Aleksandr Sergeevich
  • Bondarenko Elizaveta Yurevna
  • Bolotov Aleksej Yurevich
RU2823450C1
SYSTEM OF ANALYSIS OF SOFTWARE IN THE ABSENCE OF POTENTIALLY HAZARDOUS FUNCTIONAL OBJECTS 2018
  • Goryunov Maksim Nikolaevich
  • Melnikov Pavel Vyacheslavovich
  • Zakalkin Pavel Vladimirovich
  • Vorobev Sergej Anatolevich
  • Anisimov Dmitrij Vladimirovich
  • Petrov Konstantin Evgenevich
RU2675210C1
SOFTWARE ANALYSIS METHOD BASED ON ABSENCE OF UNDECLARED FUNCTIONALITIES 2019
  • Poddubnyj Maksim Igorevich
  • Bolotov Aleksej Yurevich
  • Krasnov Vasilij Aleksandrovich
  • Kondakov Sergej Evgenevich
  • Bobrov Sergej Vladimirovich
RU2711041C1
SYSTEM TO ASSESS SCOPE OF WORKS TO CONTROL UNAVAILABILITY OF UNDECLARED CAPABILITIES IN SOFTWARE 2010
  • Minakov Vladimir Aleksandrovich
  • Miroshnikov Vjacheslav Viktorovich
  • D'Jakova Alena Vasil'Evna
RU2445684C2
SYSTEM TO MONITOR INTEGRITY OF INITIAL SOFTWARE TEXT FILES 2009
  • Burushkin Aleksej Anatol'Evich
  • Minakov Vladimir Aleksandrovich
  • Miroshnikov Vjacheslav Viktorovich
  • Grishchenko Kristina Pavlovna
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
  • Golubev Sergej Vladimirovich
  • Illarionov Boris Vladimirovich
  • Koziratskij Aleksandr Jur'Evich
  • Koziratskij Jurij Leont'Evich
  • Linnik Vitalij Aleksandrovich
  • Linnik Igor' Vital'Evich
  • Maevskij Jurij Ivanovich
  • Mikhajlev Vasilij Tikhonovich
  • Podluzhnyj Andrej Viktorovich
  • Podluzhnyj Viktor Ivanovich
  • Savchenko Anatolij Vasil'Evich
  • Savchenko Maksim Anatol'Evich
  • Seleznev Aleksandr Ivanovich
  • Fadin Arkadij Georgievich
  • Shljakhin Vjacheslav Mikhajlovich
RU2315258C2
EXPERT-ANALYTICAL INFORMATION SYSTEM FOR FORMALIZATION OF TASKS AND FORMULATED TASK SOLVING 2017
  • Burov Vasilij Vladimirovich
  • Baronov Anton Nikolaevich
  • Koshikova Elena Georgievna
  • Patarakin Evgenij Dmitrievich
  • Parfenov Roman Viktorovich
  • Fedorov Sergej Viktorovich
RU2666646C1

RU 2 434 272 C1

Authors

Minakov Vladimir Aleksandrovich

Miroshnikov Vjacheslav Viktorovich

Kotrakhov Vjacheslav Vadimovich

Dates

2011-11-20Published

2010-06-04Filed