A Method of Analysis of Multithreaded Applications Based on Symbolic Execution

A Method of Analysis of Multithreaded Applications Based on Symbolic Execution

This article is devoted to method of search for bugs in multithreaded applications based on the symbolic execution algorithm. This method can deterministically find race of the conditions and dead locks in multithreaded applications providing thread schedule and values of input data needed for repro...

Full description

Bibliographic Details
Main Authors: Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov
Format: Article
Language:English
Published: Joint Stock Company "Experimental Scientific and Production Association SPELS 2014-12-01
Series:Безопасность информационных технологий
Subjects:
symbolic execution
parallel data flow
race of the condition
Online Access:https://bit.mephi.ru/index.php/bit/article/view/136

Similar Items

Similar Items