Constructing control flows graphs of binary executable programs at post-link time