so wie ich das verstanden habe durchsucht es einen quelltext nach möglichen fehlerquellen, speicherlecks, exploits etc.. aber alles kann es natürlich wohl kaum entdecken wohl eher die offensichtlichsten.