methods and apparatus are provided for incremental analysis of one or more properties of a program . according to one aspect of the invention , at least one property of a software program is evaluated , given one or more changes to the software program . nodes in a derivation graph are identified corresponding to changed edges in a control flow graph representation of the software program , wherein the derivation graph describes an earlier evaluation of the software program . in addition , at least one of the identified nodes in the derivation graph is updated and the derivation graph is traversed outward from a location of a change . the revised derivation graph can optionally be further processed to remove false errors .