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 one or more variables that are executed in a single thread of the program from one or more pairs of the computed threads configured to concurrently execute the node.