Архитектура Solar inCode

Solar inCode состоит из системы отчетности и системы анализа, в которую входит несколько функциональных модулей.

Механизмы системы отчетности inCode реализуют следующий функционал:

Система анализа

Механизмы системы анализа inCode представлены несколькими функциональными модулями.

Технологии анализа кода

В основе Solar inCode лежат две технологии:

Важно подчеркнуть ценность семантического модуля анализа. Большинство уязвимостей в программном коде – это не лексические ошибки в записи инструкций, которые можно обнаружить лексическим анализатором, а ошибки в последовательности этих инструкций. Такие ошибки можно обнаружить, только если представить, как эти инструкции будут выполняться и что будет результатом их выполнения. Это можно сделать, только выполнив семантический анализ, результатом которого является математическая модель выполнения программы.

Модуль Enterprise

Данный модуль успешно используется в настоящее время и реализует следующий функционал:

Анализ приложений, реализованных на различных языках, осуществляется с применением запатентованной технологии реверс-инжиниринга. Данная технология позволяет восстановить исходный код с высокой степенью точности, даже если к коду были применены обфусцирующие (запутывающие) преобразования.

Модуль нечеткой логики (Fuzzy Logic Engine)

Данный модуль необходим для минимизации количества ложных срабатываний (False Positive) и пропуска уязвимостей в коде (False Negative). Данный модуль реализован с использованием математического аппарата нечеткой логики и является технологическим ноу-хау Ростелеком-Solar. Параметры работы фильтров данного модуля определяются базой знаний, которая постоянно пополняется по результатам проведенных проектов. Количество ложных срабатываний и пропусков уязвимостей является одним из ключевых параметров сканера кода, поэтому технологическая модернизация данного модуля является важным приоритетом развития продукта.

Возможности интеграции inCode

Решение Solar inCode обладает широкими возможностями интеграции: