A Method of Analysis of Multithreaded Applications Based on Symbolic Execution

Abstract

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.

Keywords

• symbolic execution
• parallel data flow
• race of the condition