Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
www.coverity.com
Explicit
Develops platform solutions for compile-time source code analysis in C, C++, and Java featuring defect detection analyses that were used for parts of the Linux and OpenBSD operating systems. [Commercial, trial version]