method:static_program_analysis