Explore projects

Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).

Testing Environment via Cluster Solution

SUT Fixture using Docker

Core system of DB detectors.

Test Management Tool

NodeJS library for developing JavaScript-based OSLC domains and clients.

Eclipse Task Executor

Java Task Executor

Extracting CFGs from Java programs using analysis of bytecode.

A tool for automated translation of specification to a structured data.

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning