1. A machine-implemented method for feedback-directed call graph expansion, comprising: performing symbolic analysis on an interprocedural control flow graph representation of software code; skipping over a virtual method call in said control flow graph; using information obtained from said symbolic analysis as feedback to identify a target of said virtual method call; and iterating said symbolic analysis on a modified version of said control flow graph that associates said target with said virtual method.