Ivannikov ISP RAS Open Conference

Asperitas and Cloud Solutions Family

Asperitas is a platform for data storage and performing complex resource-intensive calculations on demand. It includes a cloud environment also called Asperitas (listed as No. 5921 in the Unified Register of Russian Programs) as well as Michman, a PaaS orchestrator, and Clouni, an IaaS orchestrator. Fanlight, a web laboratories platform, is also a part of ISP RAS cloud solutions family (listed in the Register as No. 6066).

AstraVer Verification Toolset

AstraVer Toolset is a deductive verification system for key software components. It allows developing and verifying security policy models as well as proving the correctness of software modules written in the C programming language. Astraver is essential for ensuring the required trust levels from ADV_SPM and ADV_FSP assurance families as defined in the ISO/IEC 15408 standard.

BinSide: A Binary Code Static Analysis Tool

BinSide is a static program analysis platform for finding defects in binary code. It is useful when checking programs without source code, such as closed source 3rd party libraries, as well as assisting with required static information to dynamic analysis tools.

Casr: crash analysis and severity reporter tool

Casr creates automatic reports for crashes happening during program testing or deployment. The tool works by analyzing Linux coredump files. The resulting reports contain the crash’s severity and additional data that is helpful for pinpointing the error cause.

Constructivity 4D: A Technology of Indexing, Searching and Analysis of Large Spatial-Temporal Data

Constructivity 4D is a technology for creating innovative software services that are capable of processing highly dynamic scenes and vast arrays of spatial and temporal data. It performs visual analysis of millions of objects with individual geometry and dynamic behavior. Constructivity is deployed within the Synchro system that is used for 4D modeling of extremely large construction sites.

ISP Crusher: A Dynamic Analysis Toolset

ISP Crusher is a toolset that combines various dynamic analysis approaches. It includes ISP Fuzzer, a fuzzing tool, and Sydr, an automatic test generation tool for complex programs. Two other ISP RAS analyzers, BinSide and Casr, will be included in Crusher within the next two years. Crusher allows organizing a development process that is fully compliant with GOST R 56939-2016 and other regulatory requirements of FSTEC of Russia.

Dedoc: A Document Structure Retrieval System

Dedoc is an open universal system for converting documents to a unified format. формату. It extracts a document’s logical structure, its tables and metadata. The document’s contents are represented as a tree storing headings and lists of any level. Dedoc can be integrated in document contents and structure analysis systems as a separate module.

DigiTEF, A Digital Twin Platform

DigiTEF is a software platform based on OpenFOAM and other open source tools, as well as unique modules and libraries developed at ISP RAS. DigiTEF solves various application problems of gas dynamics, aerodynamics, hydrodynamics, and acoustics. It is tailored for creating and working with highly sophisticated digital models of industrial devices. DigiTEF is included in the Unified Register of Russian Programs (No. 5377).

Klever: A Software Verification Framework

Klever is a framework for checking models extracted from the source code of large software systems developed in the C programming language. Klever performs automated verification of various security and safety requirements.

Lingvodoc: A Virtual Laboratory for Documenting Endangered Languages

Lingvodoc is a system intended for collaborative multi-user documentation of endangered languages, for creating multi-layered dictionaries and performing scientific work with the received sound and text data. It is a joint project with the Institute of Linguistics of the Russian Academy of Sciences and Tomsk State University. Lingvodoc is under active development since 2012 and can be found on lingvodoc.ispras.ru.

MASIW: Support for Designing Highly Reliable Software Systems

MASIW is a toolset for developing highly reliable hardware and software systems for avionics, medicine, and other safety critical areas. It is designed for engineers creating airborne hardware/software systems that are developed using the integrated modular avionics (IMA) approach. MASIW can be easily adapted for other application areas.

MicroTESK: A Test Program Generator

MicroTESK is an industry-targeted framework for generating test programs for functional verification of microprocessors. Based on formal specifications of microprocessor architectures, MicroTESK allows constructing test program generators automatically. MicroTESK supports a variety of architectures ranging from CISC/DSP to RISC and VLIW. MicroTESK supports online test program generation.

Protosphere: A Network Traffic Analyzer

Protosphere is a system of deep packet inspection (DPI). It can serve as a part of intrusion and information leak protection systems. Protosphere detects inconsistencies between a protocol specification and the actual traffic. It allows you to add support quickly for new protocols (either open or closed) due to the flexibility of its internal representation.

ISP RAS Software Analysis Platform based on QEMU

ISP RAS Foundation Platform for creating program analysis systems is built on top of open source QEMU emulator. This framework is essential for organizing multi platform and cross platform development. It supports reverse debugging and introspection features, as well as full system emulation mode for debugging low-level software.

SciNoon: Exploratory Search System for Scientific Groups

SciNoon is a system for collaborative exploration of scientific papers. It is essential for a group of researchers to dive quickly into the new area of knowledge and to find answers on their questions, following up with tracking new research on the topic of interest with highly customizable alerts.

Svace Static Analyzer

Svace is an essential tool of the secure software development life cycle, the main static analyzer that is used in Samsung Corp. It detects more than 50 critical error types as well as hundreds of coding issues. Svace supports C, C++, C#, and Java, with preview support of Kotlin and Go. Svace is included in the Unified Register of Russian Programs (No.4047).

Texterra: A Semantic Analyzer

Texterra is a scalable platform for extracting semantics from text. It contains the complete fundamental set of technologies for creating multifunctional applications for text analysis. Texterra bases its semantic analysis approach on concept identification. The platform is included in the Unified Register of Russian Programs (No.4048).

ISP Obfuscator

ISP Obfuscator is a set of technologies to prevent mass exploitation of vulnerabilities resulting from errors or backdoors. In case a hacker is capable of attacking one of the devices that has certain software installed, the rest will remain protected by changes to the code that the tool made.

TRAWL: A Binary Code Analysis Platform

TRAWL is a unique production-level tool for analyzing various binary code features that supports multiple target processor architectures. It does not require debug information or source code. Trawl can be used to analyze all kinds of software ranging from boot loaders to user-level applications. It is included in the Unified Register of Russian Programs (No.5323).

Technology demonstration is available on demand. Please send request with name, surname and phone number to trawl@ispras.ru.