The next OnWard Session was about finding bugs.

Everybody knows bugs can come from requirments, specs or code. This sessions was focused on bugs introduced in the development phase of a project.

After analyzing some bug patterns, the authors discovered how to do a static analysis of the code (well it's easy to analyze byte code than source code, but it's code anyway, right?) we can find dome of these patterns. Some common patterns are:

  • Self recursive functions
  • Return Values not evaluated
  • Multithread synchronization
  • Mutable static
  • ....

The have developed a tool named "findbugs" that you can find here: http://findbugs.sf.net. They have run the tool against some portins of the JDK 1.5, and Eclipse, and they have found bugs...

Nice tool, I would like to see something similar for the .Net platform