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: Moscow Engineering Physics Institute 2013-06-01
Series:Bezopasnostʹ Informacionnyh Tehnologij
Subjects:
data flow
static analysis
Online Access:https://bit.mephi.ru/index.php/bit/article/view/334
Description
Summary: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.
ISSN:2074-7128
2074-7136

Similar Items