Патенты автора Воробьев Сергей Анатольевич (RU)
СИСТЕМА АНАЛИЗА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОТСУТСТВИЕ ПОТЕНЦИАЛЬНО ОПАСНЫХ ФУНКЦИОНАЛЬНЫХ ОБЪЕКТОВ // 2675210
Изобретение относится к вычислительным системам и сетям. Техническим результатом является повышение числа обнаруживаемых потенциально опасных функциональных объектов в исследуемом программном обеспечении. Система анализа программного обеспечения на отсутствие потенциально опасных функциональных объектов включает блок сохранения найденных потоков управления, блок хранения файлов исходных текстов, блок фиксации исходного состояния исходных текстов, блок проверки избыточности исходных текстов, блок анализа и систематизации контекстной информации, блок установки контрольных точек в файлы исходных текстов, блок компиляции файлов исходных текстов программного обеспечения с установленными контрольными точками, блок выполнения скомпилированных файлов, блок сохранения перечня пройденных контрольных точек, блок сохранения трасс маршрутов выполнения скомпилированных файлов программного обеспечения, блок хранения перечня потенциально опасных программных конструкций, блок поиска потенциально опасных программных конструкций в файлах исходных текстов, блок экспертной корректировки результатов автоматизированного анализа, блок тестирования потенциально опасных программных конструкций, блок сохранения итоговых результатов. 5 ил.
Изобретение относится к вычислительной технике, а именно к информационным вычислительным системам и сетям. Технический результат - повышение достоверности результатов анализа программного обеспечения на отсутствие недекларированных возможностей. Система контроля отсутствия недекларированных возможностей в программном обеспечении, включающая блок сохранения найденных потоков управления исследуемого программного обеспечения, блок хранения файлов исходных текстов программного обеспечения, блок установки контрольных точек в файлы исходных текстов программного обеспечения, блок компиляции файлов исходных текстов программного обеспечения с установленными контрольными точками, блок выполнения скомпилированных файлов программного обеспечения, блок сохранения перечня пройденных контрольных точек, блок сохранения трасс маршрутов выполнения скомпилированных файлов программного обеспечения, блок хранения перечня потенциально опасных программных конструкций, блок поиска потенциально опасных программных конструкций в файлах исходных текстов программного обеспечения, блок экспертной корректировки результатов автоматизированного анализа, блок тестирования потенциально опасных программных конструкций, блок сохранения итоговых результатов, причем дополнительно введены блок фиксации исходного состояния исходных текстов программного обеспечения, блок проверки избыточности исходных текстов, блок анализа и систематизации контекстной информации. 4 ил.
Изобретение относится к области железнодорожной автоматики. Устройство задействует рельсовые линии блок-участков с генераторами и путевыми реле, при этом контакты путевых реле подключены к первому и второму блокам ввода информации, соединенным с логическими устройствами первого и второго каналов обработки информации, причем выходы первого логического устройства соединены с реле управления проходным светофором. Причем в каждом логическом устройстве добавлены элементы памяти для хранения текущего состояния устройства во время его тестирования, кроме того в каждый модуль управления проходными светофорами добавлены блоки накопления контрольных сигналов, параллельные входы которых соединены соответственно с контрольными выходами первого и второго логического устройства, а их последовательные выходы и входы соединены в общее для данного канала обработки информации кольцо, при этом кольцо первого канала обработки информации соединено с первым входом схемы сравнения, к второму входу которой подключено кольцо второго канала обработки информации, а выход схемы сравнения соединен со всеми блоками вывода информации. Достигается повышение безопасности движения. 2 н.п. ф-лы, 1 ил.
Изобретение относится к металлургической промышленности, в частности к способам очистки отходящих доменных газов от пыли и влаги
