Tor ne contient plus aucun bug
Par Korben | Nb visites : 411

Tor, le programme qui permet de surfer sur internet de manière anonyme et en passant tous les firewalls, ne contient plus aucun bug ! Dingue ! Les créateurs de Tor, ont en effet bénéficié des services de la société Coverity. Coverity est un outil d’analyse de code source C, C++ et Java qui permet de détecter les bugs, même les plus durs à trouver / reproduire.
Du coup, en Septembre 2008, Coverity a levé 171 bugs dans Tor et en décembre 2008, les développeurs de Tor ont réduit ce nombre à 15 ! A l’heure où j’écris cet article, ils viennent d’annoncer que ce chiffre est tombé à 0 !
Evidement ce n’est pas souvent qu’une équipe de dev peut se vanter d’avoir un soft sans bug mais ce principe d’analyse du code fait gagner vraiment beaucoup de temps. D’ailleurs, pour se faire connaitre, Coverity a mis en place une file d’attente dans laquelle vous pouvez rajouter votre projet open source afin qu’il soit analysé gratuitement… Ce n’est pas immédiat mais je pense que ça vaut le coup.
Maintenant, ce que j’aimerai connaitre, c’est le nombre de bugs qui seront découverts dans Tor prochainement et que Coverity n’aura pas détecté !
Je vous recommande aussi la lecture des sujets suivants
- Installer PubSubHubbub sur un blog wordpress
- Skype bientôt Open Source ?
- InDefero, le clone libre de Google Code
- Le code source de Sim City, enfin libre ! Libre !
- Comment mettre en place une limite de connexion par ip avec Memcached
- HipHop – Le compilateur PHP de Facebook
- Launchpad devient open source
- Connaitre les stats de son flux FeedBurner sans payer pour la version PRO
- Quelles musiques écoutent les autres pays ?
- Un robot pressé







Edouard
Je vous dis que Coverity est sans bug! La preuve ? Il s’est auto-testé, ca n’a donné aucune erreur. CQFD
Posté le 16 janvier 2009 à 17:56:16
langenoir
[mode troll on]
C’est microsoft qui va être content, je pari qu’il sont sur la liste d’attente.
[mode troll off]
Posté le 16 janvier 2009 à 18:24:57
voodka2007
Depuis quand les produits M$ sont Open-Source ? :O
Posté le 16 janvier 2009 à 18:30:15
1234Tristan4321
Merde ! Faut vite passer a microsoft (;
Posté le 16 janvier 2009 à 18:50:59
eka808
Comment on peut assurer qu’il n’y a aucun bug toutes plateformes confondues ?
Posté le 16 janvier 2009 à 18:58:03
hichamsoft
C’est comme affirmer que la pluie va tomber demain
Posté le 16 janvier 2009 à 19:10:14
Senly
Et si on passait Windows dans Coverity
1652486546 Bugs Détectés
Posté le 16 janvier 2009 à 19:12:38
MyGB
Soft sans bug ? Impossible, sans bugs connu = 0, possible.
Windows est plutôt UN bug lui-même…
Posté le 16 janvier 2009 à 19:20:03
anonyme
Windows par ci, windows par là… Vous n’en avez jamais marre de troller sans cesse sur qui a le plus gros kiki entre windows et le pinguin?
Sans compter qu’il y a 15 ans, quand l’informatique a vraiment commencé à entrer dans les foyers; je pense sans trop prendre de risques que vous étiez sous… Windows !
A l’époque j’étais encore gamin, et les lignes de commandes, les sudo bidule truc me faisaient pas fantasmer plus que çà…
On peut dire ce qu’on veut mais je pense quand même que c’est grâce à microsoft que les gens ont pu se mettre à l’informatique, domaine jusque là réservé aux initiés. Et en 95 tous les autres systèmes concurrents n’étaient vraiment pas « user-friendly », en tout cas bien moins accessibles que windows 95 ou 3.1 .
Alors ok, ils essaient d’étouffer la concurrence, ils se sont peut être plantés sur vista (bien que chez moi il marche nickel et que je reviendrais pas à xp) mais windows a quand même permis à des millions de gens de se mettre à l’informatique, et par conséquent à contribué à tout ce qui a suivi (développement massif d’internet, blogs, réseaux sociaux…).
Sinon, pour revenir au sujet, je suis d’accord , j’ai de gros doutes sur la possibilité d’écrire un soft sans bug. On peut chercher à en éliminer un maximum, mais de là à affirmer qu’il y en a pas… Suffirait que les éditeurs vérifient leur code avant de sortir un logiciel, et hop, plus jamais de bugs? C’est bien joli comme histoire à raconter aux enfants, mais ce n’est pas la réalité.
Posté le 16 janvier 2009 à 19:39:21
guilde
Clair Kro$oft ferait bien de passer son futur Seven par Coverity, car si ils nous repondent un truc comme Vista ou Millenium….
Posté le 16 janvier 2009 à 19:40:12
3psyl0n
« 0 Bug connu », pour le sport, c’est une bonne chose, reste que leur soft (vu la bande passante du réseau) est quazi inutile. Dommage !
Il vaut mieux encore prendre une solution VPN payante tiens …
Posté le 16 janvier 2009 à 19:51:49
MyGB
@anonyme: Doucement :p , d’ailleurs, j’avais mis [mode troll et j'utilise Windows quand même] mais les guillemets ne sont pas passés. On se défoule un peu sur Windows stoo, Vista est pas mal, plus de drivers plug-and-play, meilleure gestion des ressources…
Posté le 16 janvier 2009 à 20:19:23
KTC
TOR est pas mal c’est vrai
j’ai pas encore vu de bug (logique ^^)
Seul hic c’est qu’il est assez lent :-/
Si vous avez la patiente du 56K je vous le conseil
Posté le 16 janvier 2009 à 21:04:34
Manu
@anonyme: C’est le manchot qui a le plus gros kiki, les fenêtres étant asexuées.
Tor un logiciel qui va devenir incontournable. Perso je l’utilise déjà pour poster sur certains forums. Je ne pensais pas en arriver là mais je considère que c’est plus prudent désormais pour aborder certains sujets.
Posté le 16 janvier 2009 à 22:11:37
KTC
@Manu oui on a compris tu l’utilises pour poster des messages anonymement sur des forums de cul
Posté le 16 janvier 2009 à 22:19:58
Manu
@KTC: lol non pas vraiment car je ne sais pas taper d’une seule main :p
Posté le 16 janvier 2009 à 22:51:04
Avicenne
Bonjour
Pour revenir a tor suite a un vieux post sur korben.info j’ai essayé de m’en servir en Iran, resultat je suis passé a travers le filtrage local , mais pour 30Mn apres 30 Mn le modem analogique integré a mon portable a grillé!!!!! et plus de connexion , durant le reste du sejour.J’ai rien compris sur le coup.
Posté le 16 janvier 2009 à 23:33:42
Senly
En faites, Anonyme utilise Tor d’où son pseudo
Posté le 16 janvier 2009 à 23:39:54
Aldian
un soft sans bug? bien sûr que c’est possible:
int main (void){
puts(« coucou, voici un soft sans bug »);
return 0;
}
note: le #include ne veut pas passer à cause des chevrons ouvrant et fermant
vous voyez un magnifique soft sans bug. Preuve que c’est possible
Concernant le fait que windows a permi a des millions de gens de découvrir l’informatique, je ne suis pas sûr que ce soit un bien parce que faut quand même voir comment les gens s’en servent!
Posté le 16 janvier 2009 à 23:56:05
voodka2007
Je remercie windows qui m’a fait découvrir linux en tout cas
Posté le 17 janvier 2009 à 00:52:22
XPO
plus pour longtemps …
http://www.blackhat.com/html/bh-dc-09/bh-dc-09-speakers.html#Fu
Posté le 17 janvier 2009 à 03:08:32
para
daniel j bernstein a écrit des soft sans bugs ^^
TinyDNS (ou djbdns) & QMail (et tout les soft qu’il a fait) D’ailleurs il donne 1000$ a celui qui trouvera quelque chose
tinyDNS est d’ailleurs le seul server DNS a ne pas avoir été touché par les derniers évènements que l’on connait :p
@Anonyme
Ce que l’on entend par bug, ce ne sont pas les bugs de logiques mais les bugs dit de « securité » (buffer overflow, etc…) qui sont facilement identifiables de manière générique.
Posté le 17 janvier 2009 à 08:01:18
lampil
@anonyme en 95 j’avais 20 ans et j’étais sur mac, avant j’étais sur c64. le choix a toujours existé et se n’est pas microsoft qui a été le plus innovant, ni le plus intuitif.
Posté le 17 janvier 2009 à 10:44:38
Anonyme de chez Anonyme
alors ça no bug il faudrait faire ça sur les Mario de nintendo !!
Posté le 17 janvier 2009 à 14:25:31
Anonyme de chez anonyme de chez anonyme
Assez d’accord avec anonyme 1er sur Microsoft et l’informatique. Sauf sur Vista qui est définitivement une bouse. D’ailleurs la cadavre de Vista est encore chaud que Microsoft envoie déjà les faire-parts de naissance « prochaine » de Windows 7.
Posté le 17 janvier 2009 à 14:46:13
Eno
@XPO: ça ne veut rien dire du tout ça, ça parle juste de l’intégrité de TOR pas des bugs dans le logiciel
Posté le 17 janvier 2009 à 15:11:56
Emralegna
Faudra peut-être en parler aux développeurs de Gnome, KDE4 et e17.
Posté le 17 janvier 2009 à 18:07:43
Jack
Il y a qq mois j’avais installé Tor et il bien fonctionné jusqu’à ce que je redémarre le Mac. J’ai eu la surprise de voir qu’il entrait en conflit avec mon serveur local Mamp Pro. Faudrait que j’essaie à nouveau !
Posté le 17 janvier 2009 à 18:13:34
Jack
Je viens d’installer Tor de nouveau et cette fois ci tout fonctionne lorsque je me connecte sur mon site (serveur local Mamp Pro + Dyndns).
Posté le 18 janvier 2009 à 18:08:14
rberthou
Pour Anonyme….
C’est exact que l’on critique beaucoup Msoft mais ce n’est pas toujours sans raison et ej reproche principalement a µsoft sa politique commerciale et son absence de continuité dans ses développements.
Si mes souvenirs sont exactes, quand Windows 3.0 est sortie il existait OS/2 un système bien plus fiable et performant déjà très orienté utilisateur. Même avant cela les machines et OS grand public comme l’Amiga, l’Atari ST, l’Amstrad ont grandement permis la démocratisation de l’informatique.
Mais tout cela est bien loin du sujet principal Tor…
Posté le 19 janvier 2009 à 11:16:14
Ju
Si vous cherchez sur le web je pense que vous pourrez tomber facilement sur la démonstration scientifique qu’un programme sans bug ne peut pas exister.
Après si vous parlez de bug de sécurité c’est autre chose mais un programme sans aucun bug n’est pas réalisable.
Je me demande si c’est pas Turing qui a fait la démonstration.
Merci pour toutes ces bonnes infos korben ^^
Posté le 19 janvier 2009 à 15:29:03
clodio
bonjour,
testé et approuvé.
vérifié sur http://www.libellules.ch/ip.php
fonctionne parfaitement sur VISTA.
qq surprises sur google: reponses en russe, allemand…
évidemment surf bcp moins rapide mais a utiliser au besoin.
Bon surf anonyme.
clodio
Posté le 20 janvier 2009 à 11:05:46
OneSwarm : Télécharger sur Bittorrent en étant anonyme | Journal du Pirate
[...] intéresse), vous fera passer par des connexions “amies”. C’est le principe du Darknet (ex: réseau Tor) qui vous fait passer par x connexions avant d’arriver à la [...]
Posté le 6 mars 2009 à 15:50:19
Bitblinder – télécharger sur Bittorrent en anonyme
[...] spécialement évident… Il y a bien les seedbox et leurs VPN mais cela se paye. Il y a aussi TOR mais franchement, faire passer des connexions torrent via TOR, c’est du suicide, à la fois [...]
Posté le 15 juin 2009 à 13:31:40