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)
“... art transcends its limitations only by staying within them.”
—Flannery O’Connor (1925–1964)
“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)