On Matching Binary to Source Code