1. A method of analyzing a computer program under test (CPUT) using a system comprising a processor and a memory, the method comprising: performing, by the processor, static analysis upon the CPUT and runtime analysis upon at least a portion of the CPUT; storing a static analysis result and a runtime analysis result in the memory; after the static analysis and runtime analysis have been performed, determining portions of the CPUT analyzed by static analysis and not by runtime analysis as candidate portions of the CPUT; and outputting the candidate portions of the CPUT, wherein determining portions of the CPUT analyzed by static analysis and not by runtime analysis as candidate portions comprises: limiting the candidate portions to only portions of the CPUT that comprise at least one error condition as determined by static analysis.