A Method of Analysis of Dependencies between Input and Output Data of Algorithms

Bezopasnostʹ Informacionnyh Tehnologij

Ilya Viktorovich Arzamartsev¹  Igor Adolfovich Yurov¹ 

[1] National Research Nuclear University “MEPhI”;

关键词: data flow;    static analysis;   

DOI  :  

来源: DOAJ

【 摘 要 】

This article is devoted to the analysis of interconnection between input and output data of algorithms with the use of modified symbolic execution method. This method can calculate possible values of output data in different loop constructions and fetch out the general scheme of data flow.

【 授权许可】

Unknown