Si tu m'envoies un binaire et que tu me promet qu'il a été écrit en B, ça n'est pas suffisant pour moi pour l'exécuter aveuglément sur ma machine. On peut très bien écrire un programme qui fait « rm -fr $HOME » en B, on peut même essayer de prouver qu'il fait bien ce qu'il est censé faire ;-).
Paradoxalement, j'aurais bien plus confiance en une applet Java par exemple, parce que là, mon environnement d'exécution a un contrôle sur ce qu'il se passe, je sais qu'il ne touchera pas à mon système de fichiers local par exemple (sauf bug, mais bon ...).
Mais comme dit plus haut, ça dépends de ce que tu entends par « sécurité », parce qu'inversement, si c'est pour le code embarqué dans un métro, je préfère que ça soit du B que du Java ...
[^] # Re: personne ne parle
Posté par Matthieu Moy (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 5.
Si tu m'envoies un binaire et que tu me promet qu'il a été écrit en B, ça n'est pas suffisant pour moi pour l'exécuter aveuglément sur ma machine. On peut très bien écrire un programme qui fait « rm -fr $HOME » en B, on peut même essayer de prouver qu'il fait bien ce qu'il est censé faire ;-).
Paradoxalement, j'aurais bien plus confiance en une applet Java par exemple, parce que là, mon environnement d'exécution a un contrôle sur ce qu'il se passe, je sais qu'il ne touchera pas à mon système de fichiers local par exemple (sauf bug, mais bon ...).
Mais comme dit plus haut, ça dépends de ce que tu entends par « sécurité », parce qu'inversement, si c'est pour le code embarqué dans un métro, je préfère que ça soit du B que du Java ...