1. A method for analyzing a source code, the method comprising: collecting function call information by executing an instrumented version of the source code, the function call information being a sequence of function calls that were called in executing the instrumented version, the function call information in a first form collected from executing the instrumented version; generating symbolic forms of the sequence of function calls in the source code using the function call information by converting from the first form to a symbolic form; replacing, by a computing device, the sequence of function calls by inserting a sequence the symbolic forms into the source code at one or more points in the source code in place of the sequence of function calls, the sequence of the symbolic forms representing functions corresponding to the function calls for the call sequence collected from executing the instrumented version; and conducting a static analysis on the source code by using the inserted symbolic form.