CVE-2026-72705
Təsvir
Rocq Prover-dəki guard yoxlayıcısı fixpoint-in öz arqumentləri vasitəsilə edilən rekursiv çağırışları izləmir. Fixpoint özünü ikinci bir fixpoint-ə yüksək dərəcəli arqument kimi ötürə bilər və həmin fixpoint onu struktur arqumentinin alt termini olmayan bir dəyərə tətbiq edə bilər. Rekursiv funksiyanın adi tərifə ötürülməsi rədd edilir, çünki yoxlayıcı tərifi açaraq çağırışı müşahidə edir, lakin fixpoint-ə ötürülməsi qəbul edilir, çünki fixpoint arqumentləri vasitəsilə olan yüksək dərəcəli rekursiv çağırışlar izlənilmir. Bu, tərif baxımından özünün inkarına bərabər olan bir tipə yol açır, buna görə də taktikalardan, aksiomlardan, plaginlərdən və ya təhlükəsiz olmayan bayraqlardan istifadə etmədən, sırf definisiyalı kodda özü-özünə tətbiq False nəticəsini verir və Print Assumptions nəticəni qlobal kontekst altında bağlı olaraq hesabatlaşdırır. Rocq 9.2.0 versiyasında düzəldilib.
Necə düzəltmək olar
- rocq-prover rocq9.2.0 və ya daha yeni versiya
Təsirlənən məhsullar
| Məhsul | Təsirlənən versiyalar | Düzəldildiyi versiya |
|---|---|---|
| rocq-prover rocq | v < 9.2.0 | 9.2.0 |
Versiyanızı yoxlayın
Məhsulu seçin və istifadə etdiyiniz versiyanı yazın; versiyanın təsirlənən aralıqda olub-olmadığını görün.
Attack Surface Management
Domenlərinizə bağlı aktivləri, onlarda işləyən texnologiyaları və məlum zəiflikləri bir siyahıda görün.