Automated Source Code Verification

I haven't been aware of automated source code verification tool prior to reading http://graphics.stanford.edu/~seander/bithacks.html. There, I found that a freely available source code verification tool is in fact exists: http://www-2.cs.cmu.edu/~uclid/. This would improve my ability in finding security bugs in my code :-).