2.3 软件分析的基本工具