Limitations
Symbolic execution is used to reason about a program path-by-path. This may be superior to reasoning about a program, like Dynamic program analysis does, input-by-input. But if few inputs take the same path through the program, there is no saving over testing each of the inputs separately.
Addressing the path explosion of symbolic execution is a research problem .
Read more about this topic: Symbolic Execution
Famous quotes containing the word limitations:
“The only rules comedy can tolerate are those of taste, and the only limitations those of libel.”
—James Thurber (1894–1961)
“That all may be so, but when I begin to exercise that power I am not conscious of the power, but only of the limitations imposed on me.”
—William Howard Taft (1857–1930)
“... art transcends its limitations only by staying within them.”
—Flannery O’Connor (1925–1964)