1. A computer-implemented method of analyzing program source code prepared for a multithreading platform, the method comprising: analyzing a targeted source code set for a software entity to extract a set of characteristic information for each wait operation in the targeted source code set; analyzing the targeted source code set to extract a set of characteristic information for each notification call to an application programming interface of the multithreading platform in the targeted source code set; identifying a one-way branching correspondence with a wait operation in the targeted source code set for each notification call in the targeted source code set by comparing the extracted set of characteristic information for the notification operation and the extracted set of characteristic information for each wait operation in the target source code with a set of predefined asynchronous operation correspondence pattern information for notification and wait functions implemented by the application programming interface of the multithreading platform; extracting a set of information for each identified one-way branching correspondence; and storing the extracted set of information for each identified one-way branching correspondence in a data store.