A Method of Analysis of Dependencies between Input and Output Data of Algorithms
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.
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Joint Stock Company "Experimental Scientific and Production Association SPELS
2013-06-01
|
Series: | Безопасность информационных технологий |
Subjects: | |
Online Access: | https://bit.mephi.ru/index.php/bit/article/view/334 |