Module static_analysis