La première question que tu te poses est probablement "Mais pourquoi donc voudrais-je d'une libellule dans mon ordinateur ?". Eh bien, je ne peux pas t'aider. Je m'apprête simplement à t'expliquer comment. Avant tout, et pour que les choses soient claires dès le début, voici une liste de ce qui ne fonctionnera probablement pas :

• l'hibernation
• les cartes graphiques NVIDIA
• chromium, KDE4, gnome3.
• ton casque bluetooth dernière génération

Les cartes graphiques Intel et ATI devraient fonctionner avec le pilote DRM. Si (…)

Sommaire

• But
  • Analyse d'un code en C
  • Le génétateur de nombres pseudo aléatoires de DragonFly
• Méthode
  • Tests unitaires
  • Analyse statique avec Frama-c
  • Contexte d'analyse
  • Résultats

Après avoir lu hier un journal décrivant une faille dans le code de génération des nombres aléatoires de NetBSD 6, j'ai décidé de regarder quelques méthodes visant à réduire le risque d'introduire ce genre de bug dans du code "critique".

Disclaimer : je suis novice dans le domaine de la sécurité et de la (…)