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

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.

Bibliographic Details
Main Authors: Ilya Viktorovich Arzamartsev, Igor Adolfovich Yurov
Format: Article
Language:English
Published: Joint Stock Company "Experimental Scientific and Production Association SPELS 2013-06-01
Series:Безопасность информационных технологий
Subjects:
data flow
static analysis
Online Access:https://bit.mephi.ru/index.php/bit/article/view/334

Internet

https://bit.mephi.ru/index.php/bit/article/view/334

Similar Items