Well, for any larger program, it's almost impossible to investigate all paths that MAY be taken for a given program - so whilst static analyzis can spot OBVIOUS mistakes, e.g. there is an allocation,...