A Determined Algorithm of Code Analysis of Commodity Software

A Determined Algorithm of Code Analysis of Commodity Software

This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Bezopasnostʹ informat͡s︡ionnykh tekhnologiĭ 2013-12, Vol.20 (4), p.5-9
Hauptverfasser: Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov
Format: Artikel
Sprache:eng
Schlagworte:
code verification
static analysis
symbolic execution
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
ISSN:2074-7128
2074-7136