PHP : deux correctifs pour le bogue des nombres à virgule flottante
L'équipe de PHP recommande de l'appliquer immédiatement

Le , par Idelways, Expert éminent sénior
Mise à jour du 10/02/11, par Hinault Romaric

Oracle vient de publier en urgence des correctifs pour le bogue des nombres à virgule flottante dans Java.

Ce bogue entraine le blocage du Runtine Java lorsque celui-ci convertit le nombre 2.2250738585072012e-308 en binaire à virgule flottante.

Un bogue qui peut-être exploité à distance sans authentification. L’exploitation de cette faille peut entrainer le blocage ou le crash du Runtine Java et permettre les attaques par Déni de Service.

Les applications et serveurs Web Java sont particulièrement exposés à cette vulnérabilité selon l’alerte de sécurité publiée par Oracle.

Un certain nombre de produits sont touchés comme Java SE et Java for Business. La liste complète des technologies impactées ainsi que les liens vers les correctifs recommandés ont été publiée sur le site web d’Oracle.

Les correctifs Java SE et Java for Business sont disponibles sur cette page

Source : Alerte de sécurité Oracle

Le bogue des nombres à virgule flottante refait surface en Java
Et plonge le compilateur et les programmes dans des boucles infinies

Mise à jour du 08/02/2011

Quelque temps après sa correction sur PHP, le bogue étrange des nombres à virgule flottante refait surface sur un langage tout aussi populaire : Java.

Ce bogue provoquait sur PHP avant sa correction le crash du système par le passage d'un simple paramètre dans l'URL, pour peu que le script convertisse en nombres ou utilise ces variables dans des opérations arithmétiques (pour plus de détails, lire ci-devant)

Sur Java, un bogue similaire plongerait les programmes à l'exécution (ou leur compilateur) dans des boucles infinies d'après Exploring Binary, le site où ont été mis en lumière les deux bogues.

Le nombre en question, le désormais célèbre 2.2250738585072012e-308 et ses différentes représentations sont supposés être convertie en 0x1p-1022, qui correspond à la constante DBL_MIN.
Au lieu de cela, Java se retrouve coincé, oscillant sans arrêt entre les valeurs 0x1p-1022 et 0x0.fffffffffffffp-1022, le plus grand nombre dénormalisé à double précision et à virgule flottante.

Le bogue serait provoqué par la boucle de correction de la classe FloatingDecimal, chargée de trouver la meilleure approximation, qui la trouve mais la remplace et la retrouve infiniment...

Le bogue a été reporté à Oracle depuis plusieurs semaines, son rapport a récemment été assigné pour analyse interne non accessible sur Sun Developer Network (SDN).

Pour reproduire ce bogue à l'exécution des programmes, compilez et exécutez ce programme

Code : Sélectionner tout
1
2
3
4
5
6
7
class runhang { 
public static void main(String[] args) { 
  System.out.println("Test:"); 
  double d = Double.parseDouble("2.2250738585072012e-308"); 
  System.out.println("Value: " + d); 
 } 
}

Pour provoquer une boucle infinie au niveau du compilateur, il suffit de tenter de compiler cette classe :
Code : Sélectionner tout
1
2
3
4
5
6
class compilehang { 
public static void main(String[] args) { 
  double d = 2.2250738585072012e-308; 
  System.out.println("Value: " + d); 
 } 
}


Source : Exploring Binary

Et vous ?

Arrivez-vous à reproduire ce bug ?
Sur quelle plateforme, architecture et version de JRE/JDK ?

PHP : deux correctifs pour le bogue des nombres à virgule flottante
L'équipe de PHP recommande de l'appliquer immédiatement

Mise à jour du 07/01/2011

L'équipe de développement de PHP vient de publier des patchs pour corriger le bogue étrange découvert cette semaine. Un bogue capable de provoquer le crash du système par le passage d'un simple paramètre dans l'URL des sites hébergés sur des systèmes x86 (pour plus de détails, lire ci-avant)

Après analyse, il s'agit vraisemblablement d'un bogue sur le code optimisé pour les x86 du GCC (le compilateur du projet GNU) à l'origine d'une incompatibilité avec x87, l'Unité de calcul en virgule flottante (ou FPU).

Deux nouvelles versions de PHP viennent donc d'être packagées : la 5.3.5 et la 5.2.17.
Ces versions n'incluent aucune autre nouveauté que ce correctif.

L'équipe de PHP "recommande vivement" l'application immédiate de ce patch disponible sur php.net.

Pour vérifier si votre installation de serveur web est vulnérable à cet bug, exécutez ce script en ligne de commande
Les deux correctifs sont téléchargeables sur cette page

Source : l'annonce du lancement de la 5.2.17 et de la 5.3.5, le rapport de bug sur le tracker de GCC

Par Idelways

PHP : un bug étrange rendrait enfantines les attaques par Déni de Service
Il toucherait les versions 5.2 et 5.3 du langage sous Windows et Linux

Un bug critique vient d'être découvert dans les branches 5.2 et 5.3 de PHP, le langage de programmation Web parmi les plus populaires.

Ce bug est provoqué par certaines valeurs de nombres à virgule flottante ayant un nombre considérable de décimaux. Leurs calculs ou évaluations en PHP provoqueraient une boucle infinie occupant 100% des ressources du CPU.

L'exécution de la ligne de code suivante, ou même son équivalent sans la notation scientifique (avec 324 décimales), provoquerait donc le plantage de la machine, et ce sous Linux comme sous Windows.

Code : Sélectionner tout
1
2
 
<?php $d = 2.2250738585072011e-308; ?>
Ce bug ne se produit vraisemblablement pas sous MacOS selon les premiers tests.

Quoi qu'il en soit, cette découverte s'avère d'autant plus redoutable que ce bug peut être exploité en ajoutant simplement l'une des valeurs en question aux URL des sites, pour peu que les sites attaqués convertissent en nombres ou utilise ces variables dans des opérations arithmétiques.

Enfantin donc.

Comme PHP propulse un grand nombre de sites Web, à l'instar de Développez.com ou Wikipedia, les conséquences pourraient être désastreuses car les sites potentiellement vulnérables se comptent par millions.

Selon Rick Regan, le développeur qui a découvert le bug, cette valeur (2.2250738585072011e-308) est le "plus grand nombre dénormalisé à double précision et à virgule flottante".

Mais on ne sait toujours pas, pour l'instant, pourquoi une telle valeur provoque le crash des machines sur PHP.

Selon certains, il serait dû à la manière dont les processeurs type x86 (ou 32 bits) calculent les nombres à virgule flottante et à grand nombre de décimales. Il serait, selon d'autres, dû à la nature même de ces chiffres, qui ne sont que des représentations approximatives de nombres réels.

Le problème pourrait donc se situer au niveau de l'algorithme chargé de trouver la meilleure approximation.

Une solution temporaire pour ce prémunir contre ce bug est de recompiler PHP avec la variable CFLAGS -ffloat-store, qui désactive l'exécution des versions décimales des nombres passés en paramètre.

Source : Exploring Binary

Et vous ?

Arrivez-vous à reproduire ce bug ? Sur quel OS et version de PHP ?
Comment l'expliquez-vous ?

En collaboration avec Gordon Fowler


Vous avez aimé cette actualité ? Alors partagez-la avec vos amis en cliquant sur les boutons ci-dessous :


 Poster une réponse

Avatar de bubulemaster bubulemaster - Membre éclairé http://www.developpez.com
le 05/01/2011 à 13:06
Effectivement, avec PHP 5.3.0 sous Win XP, le problème existe.

Comment j'esplique se problème ? Disons, que je commence à me dire que PHP, à voir le nombre de bug qui sont corrigés régulièrement, n'a pas une phase de test (de conception aussi ?) assez complète. (même si j'adore ce langage)
Avatar de manudwarf manudwarf - Membre éclairé http://www.developpez.com
le 05/01/2011 à 13:30
J'ai pas bien compris, c'est limité au 32bits ?
Avatar de stealth35 stealth35 - Expert éminent sénior http://www.developpez.com
le 05/01/2011 à 13:45
aïe

Code : Sélectionner tout
1
2
$d = $_GET['d']; //'2.2250738585072011e-308'; 
$c = (float) $d;
Avatar de willard willard - Membre à l'essai http://www.developpez.com
le 05/01/2011 à 14:09
Donc si je comrpend bien, il suffirai de passer ce nombre en entete URL d'une page web qui reçoit des paramètres de type float et ça marche ?

EDIT: c'est quand meme rare de trouver des sites qui prennent des float dans les formulaires ... j'aurais bien voulu tester pour voir ...
Avatar de Molos Molos - Membre régulier http://www.developpez.com
le 05/01/2011 à 14:27
Citation Envoyé par willard  Voir le message
EDIT: c'est quand meme rare de trouver des sites qui prennent des float dans les formulaires ... j'aurais bien voulu tester pour voir ...

Les sites qui font calculatrice en ligne

Sinon tu peux te faire une VM, la sur une ubuntu 10.10 avec 5.3.3-1ubuntu9.1 avec 30 process de lancé (php cli) j'ai un beau petit loadaverage : Load average: 31.98 23.44 11.34
Avatar de Flaburgan Flaburgan - Modérateur http://www.developpez.com
le 05/01/2011 à 14:30
Je pense que ça marche aussi avec les sites qui récupère des int, vu le typage faible de php. Il suffit qu'il fasse après une addition ou quelque chose dans ce genre. Du coup des formulaires qui demande un âge ou une année yen a nettement plus, avec un peu de chance...
Avatar de willard willard - Membre à l'essai http://www.developpez.com
le 05/01/2011 à 14:30
Des calculatrices, c'est plus du JS non ?
Avatar de Guildem Guildem - Membre habitué http://www.developpez.com
le 05/01/2011 à 14:37
Pas réussi à planter une VM Debian avec PHP 5.2.6...
Avatar de ctxnop ctxnop - Membre expérimenté http://www.developpez.com
le 05/01/2011 à 14:46
Citation Envoyé par manudwarf  Voir le message
J'ai pas bien compris, c'est limité au 32bits ?

En tout cas je n'ai pas reproduit le problème sur ma Gentoo 64bit (php 5.3.4).
Je n'ai pas trouvé de trace du CFLAGS en question dans l'ebuild pour autant.
Avatar de stealth35 stealth35 - Expert éminent sénior http://www.developpez.com
le 05/01/2011 à 14:48
Citation Envoyé par Flaburgan  Voir le message
Je pense que ça marche aussi avec les sites qui récupère des int, vu le typage faible de php. Il suffit qu'il fasse après une addition ou quelque chose dans ce genre. Du coup des formulaires qui demande un âge ou une année yen a nettement plus, avec un peu de chance...

et oui, re aïe

Code : Sélectionner tout
echo 2 + $_GET['d']; //d = '2.2250738585072011e-308';
Offres d'emploi IT
Manager équipe support international
Régie publicitaire - Ile de France - PARIS
Ingénieur études et développements .net (h/f)
MCNEXT - Ile de France - Paris (75002)
Développeur python / xml
EUROGERM - Bourgogne - Dijon (21000)

Voir plus d'offres Voir la carte des offres IT
Contacter le responsable de la rubrique Accueil