Phân tích chương trình tĩnh