Our company offers both low-level and high-level code analysis services. The company offers a wide spectrum of services for analysis of programs at any presentation level from executable files to source code in high-level languages. Most of the companies use software developed by other companies. If they have no source code they have to use the software as a “black box”. Looking inside “black box” is a very complicated problem. However, constantly growing requirements for solving these kinds of problems is involved by uncertainty, which is inadmissible at some cases. For example, critical company’s software may contain potential threat due to malware, errors, or undocumented features. Besides, the core algorithms for decision support systems may work incorrectly in particular situations and may be in need of further adaptation and fixing. Moreover, modules that are available as “black box” only cannot be plugged into consolidating systems such as monitoring or decision support systems.