A Method of Analysis of Multithreaded Applications Based on Symbolic Execution

Bezopasnostʹ Informacionnyh Tehnologij

Ilya Viktorovich Arzamartsev¹  Georgy Ivanovich Borzunov² 

[1] National Research Nuclear University MEPhI;Professor, National Research Nuclear University MEPhI;

关键词: symbolic execution;    parallel data flow;    race of the condition;   

DOI  :  

来源: DOAJ

【 摘 要 】

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 reproducing a bug.

【 授权许可】

Unknown