1. A computer-implemented method for analysis of executable program code, the executable program including segments of code that correspond to callable functions in source code from which the executable code was generated, comprising: reading from the executable program code pairs of entry points and endpoints, each pair including an entry point and an endpoint that are associated with a callable function in the source code and corresponding to a segment of the executable program code; and generating analysis data for the functions identified by the pairs of entry points and end points.