This is also a good discussion for SC-L at www.securecoding.org they love to do the fuzzer vs. static debate, even though they are indeed two very different things.