BassCheck is an automatic static analysis tool that can detect various kinds of bugs such as data races. It employs a path- and field-sensitive analysis with a low false positive rate, and adopts function summaries to increase analysis efficiency. At present, BassCheck has detected some real bugs in Linux. Here are some data races reported by BassCheck.