Kodning statik tahlili