Ouais, enfin on dit habituellement que le libre est plus sûr car il y a moyen de vérifier que le binaire correspond bien au code. Dans cette optique, ce qui est important ça serait qu'il existe un compilo, libre ou pas, pour vérifier ça (à moins de supposer que c'est le compilo qui peut insérer des backdoors, auquel cas il faut que le compilo soit libre aussi).
Il semble donc que techniquement un tel soft entrerait dans la définition du logiciel libre, mais qu'en pratique il n'en possède pas les propriétés. Imaginons que Microsoft fournisse le «code» de Windows dans un langage que personne ne connait (genre àç%£**§%), on a le langage, on a le binaire, et on a le binaire du «compilateur» fourni par Microsoft, qui sort un "error syntax" dès qu'on modifie le fichier d'entrée. Est-ce qu'un tel truc est libre? On ne peut même pas avoir la preuve que le compilateur en question utilise d'une manière ou d'une autre le source founi en entrée! Si c'est libre selon la définition officielle, alors il y a un bug dans la définition.
[^] # Re: Demandons à Stallman
Posté par arnaudus . En réponse au message [Licences] code source libre sans compilateur libre.... Évalué à 4.
Il semble donc que techniquement un tel soft entrerait dans la définition du logiciel libre, mais qu'en pratique il n'en possède pas les propriétés. Imaginons que Microsoft fournisse le «code» de Windows dans un langage que personne ne connait (genre àç%£**§%), on a le langage, on a le binaire, et on a le binaire du «compilateur» fourni par Microsoft, qui sort un "error syntax" dès qu'on modifie le fichier d'entrée. Est-ce qu'un tel truc est libre? On ne peut même pas avoir la preuve que le compilateur en question utilise d'une manière ou d'une autre le source founi en entrée! Si c'est libre selon la définition officielle, alors il y a un bug dans la définition.