C'est intéressant, mais ça me fait me poser une question.
Je suis très mauvais en correspondance code/assembleur, il ne faut pas voir mon commentaire comme une explication de comment faire, mais comme une discussion.
Les langages qui remplacent les if/then/else par des types fantôme + du polymorphisme ne sont pas moins sensibles à ces problèmes ?
À ce moment là ton compilateur peut prouver que tu es où tu es pour de bonnes raisons, mais peut être que cette caractéristique n'est pas garantie dans le binaire généré ? Outre le fait qu'il n'existe peut être pas de langage permettant cela et pouvant cibler une carte à puce...
[^] # Re: Attaques hardware
Posté par barmic 🦦 . En réponse à la dépêche La voiture allergique à la glace à la vanille, et autres bugs. Évalué à 2.
C'est intéressant, mais ça me fait me poser une question.
Je suis très mauvais en correspondance code/assembleur, il ne faut pas voir mon commentaire comme une explication de comment faire, mais comme une discussion.
Les langages qui remplacent les if/then/else par des types fantôme + du polymorphisme ne sont pas moins sensibles à ces problèmes ?
À ce moment là ton compilateur peut prouver que tu es où tu es pour de bonnes raisons, mais peut être que cette caractéristique n'est pas garantie dans le binaire généré ? Outre le fait qu'il n'existe peut être pas de langage permettant cela et pouvant cibler une carte à puce...
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll