static_analysis_tool