Type Region Model and Its Application in Program Static Detection (IEEE Access, 2026)