靜態分析