Page 122 - Interpolitex-2021

НОВИНКИ ВЫСТАВКИ

Ф

Ф-Лаб, ООО СТЕНД / STAND СТР. / PAGE
F-Lab 8G10-1 82

ул. Северная, д. 52, стр. Б, офис. 302, Тел./Tel.: +7 351 225-05-80
г. Челябинск, Россия, 454902 cert@f-lab.tech
https://f-lab.tech

СРМ-следователь
АПК «СЛЕДОВАТЕЛЬ CRM» предназна- «INVESTIGATOR CRM» is designed
чен для автоматического составления to automatically draw up a protocol
протокола следственного действия, в of investigative action in law, including
т.ч. с помощью голосовых технических voice AI recognition.
средств.

Федеральное государственное бюджетное СТЕНД / STAND СТР. / PAGE
учреждение науки Институт системного 8A7-1 69
программирования им. В.П. Иванникова
Российской академии наук
Ivannikov Institute for System Programming
of the Russian Academy of Sciences
(ISP RAS)
ул. Улица Александра Солженицына, Тел./Tel.: +7 495 912-44-25
д. 25, г. Москва, Россия, 109004 Факс/Fax: +7 +495 912-15-24
director@ispras.ru
https://ispras.ru/

Svace Svace
Cтатический анализатор компании The main static analyzer that is used in
Samsung. Обнаруживает >50 классов Samsung. It detects more than 50
критических ошибок в исходном коде. critical error types. Svace supports C,
Поддерживает языки C, C++, C#, Java, C++, C#, Java, Kotlin, and Go.
Kotlin, Go.
ИСП Crusher ISP Crusher
Комплекс из нескольких методов дина- Toolset that combines various dynamic
мического анализа. Состоит из двух analysis approaches. It includes ISP
инструментов: ИСП Fuzzer (фаззинг) и Fuzzer, a fuzzing tool, and Sydr, an
Sydr (автоматическая генерация тестов). automatic test generation tool.

120 XXV МЕЖДУНАРОДНАЯ ВЫСТАВКА СРЕДСТВ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ГОСУДАРСТВА «ИНТЕРПОЛИТЕХ-2021»