System Programming Department


Own Technologies

KAST: Defect description AST-pattern language

KAST provides the means to describe program defects as AST sub-trees (derived from C/C++, Java and C# programs).

Avalanche: dynamic program analysis tool

Avalanche tool is based on Valgrind dynamic instrumentation framework and perform automatic critical runtime defect detection through iterative analysis.

Other technologies

Static ARM binary code instrumentation

Static instrumentation tool allows to modify ARM ELF executables and shared libraries to change or extend functionality.