# Встреча ИСП РАН

Статический анализатор Svace

Svace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 70 классов критических ошибок в исходном коде. Поддерживает языки C/C++, C#, Java, Kotlin, Go, Python, Scala, Visual Basic .ΝΕΤ; в легковесном анализе поддерживает язык JavaScript. Включён в Единый реестр российского ПО (№4047). Поставляется с web-интерфейсом просмотра предупреждений Svacer (Svace History Server).

Svacer

Svacer предназначен для хранения и обработки результатов статического анализатора Svace и других анализаторов, поддерживающих формат SARIF.

Talisman

Talisman – это комплекс взаимосвязанных программных инструментов для автоматизации типовых задач обработки данных, включая их сбор, интеграцию, анализ, хранение и визуализацию. Обеспечивает быструю разработку специализированных многопользовательских интеллектуальных аналитических систем, объединяющих информацию из внутренних баз данных и открытых источников сети Интернет (в том числе из социальных сетей).

Texterra: базовый семантический анализатор

Texterra — масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Включена в Единый реестр российского ПО (№4048).

Dedoc: система извлечения содержимого и структуры текстовых документов

Dedoc – универсальная открытая система для приведения документов к единому формату. Автоматически извлекает логическую структуру, таблицы и метаинформацию. Содержимое документов представляется в виде дерева, кодирующего заголовки и списки различного уровня вложенности. Dedoc может встраиваться как отдельный компонент в системы анализа структуры и содержимого документов.

Система предотвращения анонимных утечек текстовых документов «Docmarking»

DocMarking – уникальная система внедрения цифровых водяных знаков (меток) в текстовые документы. Позволяет создавать едва отличимые от оригинала цифровые и физические копии документов, однозначно идентифицирующие пользователей и их устройства. В 2024 г. система DocMarking получила сертификат №4878 ФСТЭК России. Он подтверждает её соответствие требованиям доверия (4) и техническим условиям (ТУ). Срок действия сертификата — до 22 ноября 2029 года. Система включена также в Реестр российского ПО (№23882, https://reestr.digital.gov.ru/reestr/2642797/).

ML-Factory

ML-Factory – облачная платформа, предназначенная для поддержки процессов создания моделей машинного обучения, направленных на решение задач в различных доменах (медицина, почвоведение, образование и др.).

ISP Aurora: статический анализатор с технологией искусственного интеллекта

ISP Aurora — инструмент для выявления дефектов исодного кода и бинарных файлов путем генерации внутреннего представления программы и анализа этого представления большой языковой моделью (LLM).

Доверенные фреймворки машинного обучения

Фреймворк машинного обучения – это среда с набором инструментов для обеспечения быстрой разработки соответствующих программных продуктов. Наиболее популярными открытыми фреймворками считаются TensorFlow и PyTorch.

Платформа Доверенного Искусственного Интеллекта (ДИИ)

Платформа ДИИ — облачная платформа для разработки доверенных систем искусственного интеллекта. Обеспечивает автоматизацию процессов по выявлению и устранению угроз, возникающих на всех этапах жизненного цикла разработки моделей машинного обучения.

Система поддержки создания наборов данных Colba

Colba — система поддержки создания аннотированных наборов данных для машинного обучения с учителем. Позволяет организатору аннотирования гибко итеративно настраивать постановку задачи для экспертов-аннотаторов, автоматически оптимальным образом распределять задачи и отслеживать качество получаемых аннотаций.