“the not-so-little things that mean even more, like the LLVM-powered static analyzer. The image below shows how the static analyzer displays its discovery of a possible bug.”
“Aside from the whimsy of the little arrows (which, admit it, are adorable), the actual bug it’s highlighting is something that every programmer can imagine creating (say, through some hasty editing). The static analyzer has determined that there’s at least one path through this set of nested conditionals that leaves the myName variable uninitialized, thus making the attempt to send the mutableCopy message in the final line potentially dangerous.”
Mac OS X 10.6 Snow Leopard: the Ars Technica review - Ars Technica
