“Recently, Coverity presented their first results in their scanning technology that hunts for defects in source code. One of the addressed projects was Firebird. After Roman Rokytskyy reviewed the results, he concluded the failures are in two areas.”
I’d like to see the algorithm for that!!
> I’d like to see the algorithm for that!!
http://www.stanford.edu/~engler/
Have fun
i guess the tool just looks with some clever algorithm for common mistakes. most likely several algorithms for several problems. its cool they are willing to use it to enhance free software’s quality… i’d love to see em try it on the kernel, KDE, Gnome etc etc…
http://scan.coverity.com