Le Commodore 64 est une machine mythique, un morceau d'histoire, qui grâce à sa popularité d’antan est aujourd'hui une des quelques machines 8 bits qu'il est possible d'acquérir sans se ruiner. Mettre la main sur un Commodore 64 vous coûtera actuellement entre 30 € et 60 €, parfois nu et tantôt avec quelques accessoires et jeux d'époque. Mais une fois l'ordinateur réceptionné, ou sorti du fond d'une cave ou d'un grenier obscur, quelques opérations sont nécessaires pour en permettre ou en faciliter l'utilisation. C'est ce dont nous allons parler à présent...

Du point de vue de la sécurité, l'étude d'un objet connecté passe par différentes étapes allant de la récupération du firmware à l'identification de l'architecture du processeur. Cet article est un retour d'expérience sur l'analyse de la carte SD FlashAir qui a débuté en 2015. Il détaille une méthodologie typique visant à comprendre le fonctionnement d'un objet connecté inconnu afin d'y exécuter du code.

Dans le Hackable 32, nous avons rapidement couvert la création d'un thermostat d'ambiance programmable destiné à piloter un système de chauffage fioul qui jusqu'alors s'activait en fonction de la température, mais indépendamment du jour et de l'heure. Ce qui devait être temporaire pour une fin de saison hivernale est, bien entendu, devenu plus ou moins définitif. Loin de moi l'idée de revoir ma copie ici, l'objet de cet article est de simplement partager avec vous une approche technique qui pourrait vous être utile dans d'autres contextes...

Dans cet article, on se propose de découvrir une autre méthode de validation d’un composant écrit en Verilog. L’idée est de décrire les propriétés du composant et de laisser l’ordinateur chercher les stimuli qui feront échouer des propriétés. Ça n’est plus le développeur qui écrit les tests, mais la machine. Cette méthode a récemment été rendue possible avec des logiciels libres grâce à la suite d’outils Yosys (synthèse Verilog), Yosys-SMTBMC (solveur) ainsi que SymbiYosys qui les chapeaute.