as opposed to program analysis. Consequently, the translated program utilizes complex pointer arithmetic operations, virtual-base offsets, virtual function pointer tables, and run-time libraries. Unfortunately, program analysis and testing procedures do not perform well in the presence of these “analysis...