静态分析包括哪些内容