Building a static analyzer into the C compiler offers several advantages over having a separate tool, because the analyzer can track what the compiler and