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 |
| METHOD OF SEARCHING FOR SUNKEN RADIATION SOURCE BY AUTONOMOUS UNMANNED UNDERWATER VEHICLE | 2023 |
|
RU2825830C1 |
Authors
Dates
2011-11-20—Published
2010-07-13—Filed