1. A method of analyzing single thread access by a variable of a multi-threaded program in a computing system, the method comprising: computing a thread identifier of a thread to be executed in a node of the multi-thread program; computing multiple threads configured to concurrently execute the node; and computing thread accessibility by deducing a variable that is executed in a single thread of the program from a pair of the computed threads configured to concurrently execute the node, wherein when the variable present in the node is a local variable and the variable is allowed to be outside a region currently executed, determining thread accessibility of the variable as multiple thread access.