Parallel program analysis and branch prediction

A non-transitory computer readable medium comprising a computer readable program for predicting execution paths of at least one target program of a plurality of programs that are run in parallel, wherein the computer readable program when executed on a computer causes the computer to perform the steps of:

• generating first execution flows of the plurality of programs by conducting a static analysis of the plurality of programs;
• executing the plurality of programs to obtain debug logs from the plurality of programs;
• identifying communication messages transmitted between the execution flows from the debug logs;
• deducing that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program based on the communication messages that are identified in the debug logs and removing, based on said deducing, at least one conditional branch that was not taken from the given execution flow;
• and
• outputting modified execution flows that were modified in accordance with said removing to indicate predicted execution paths of the at least one target program.

A system for predicting execution paths of at least one target program of a plurality of programs that are run in parallel comprising:

• a static analysis module configured to generate first execution flows of the plurality of programs by conducting a static analysis of the plurality of programs;
• a parallel program analysis module, implemented by at least one hardware processor, configured to execute the plurality of programs to obtain debug logs from the plurality of programs, identify communication messages transmitted between the execution flows from the debug logs, deduce that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program based on the communication messages that are identified in the debug logs, and remove at least one conditional branch that was not taken from the given execution flow;
• and
• a third module configured to output modified execution flows that were modified in accordance with the removal of the conditional branch that was not taken to indicate predicted execution paths of the at least one target program.