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 of the software, a unit for compiling source code files of the software with the set breakpoints, a unit for executing the compiled files of the software, a unit for storing the list of the found breakpoints, a unit for storing routes for executing the compiled files of the software, a unit for storing a list of potentially dangerous program instructions, a unit for searching for potentially dangerous program instructions in source code files of the software, a unit for expert correction of automated analysis results, a unit for storing final results, a unit for testing potentially dangerous program instructions.
EFFECT: high reliability owing to automated analysis of possibly dangerous program instructions and detecting deletion of activated software bugs in software source code.
2 dwg
Title | Year | Author | Number |
---|---|---|---|
SYSTEM TO MONITOR UNAVAILABILITY OF UNDECLARED OPPORTUNITIES IN SOFTWARE | 2009 |
|
RU2419135C1 |
SYSTEM TO ANALYSE SOFTWARE FOR ABSENCE OF UNDECLARED CAPABILITIES | 2016 |
|
RU2622622C1 |
SYSTEM FOR MONITORING LACK OF UNDECLARED OPTIONS IN SOFTWARE | 2010 |
|
RU2434272C1 |
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 |
METHOD AND SYSTEM FOR AUTOMATIC SEARCH AND CORRECTION OF ERRORS IN TEXTS IN NATURAL LANGUAGE | 2021 |
|
RU2785207C1 |
SYSTEM AND METHOD OF CONTROL OVER PROGRAMS EXECUTION WITH HELP OF BINARY APPLICATIONS TRACING | 2008 |
|
RU2385485C1 |
Authors
Dates
2011-11-20—Published
2010-07-13—Filed