Les codes fantastiques : mets le paquet

Magazine
Marque
GNU/Linux Magazine
Numéro
266
Mois de parution
novembre 2023
Spécialité(s)


Résumé

Continuons cette série sur les codes fantastiques avec une histoire d’occupation mémoire


Body

Le compilateur Clang charge lors de son utilisation un tableau de structure contenant la description des différents intrinsèques qu’il supporte. Dans la version 15.0.x de ce dernier, chaque élément de ce tableau a le type suivant (quelques adaptations ont été faites pour faciliter la lecture, mais l’idée de base reste valable) :

enum LanguageID { /* ... values ... */};
struct Info {
  const char *Name;
  const char *Type, *Attributes, *HeaderName;
  LanguageID Langs;
  const char *Features;
};

Sur une machine 64 bits, sizeof(LanguageID) sera typiquement de 4 (une enum loge dans un int) et sizeof(Info) sera de 48 octets : 8 x 5 pour chaque pointeur, et 8 pour Langs (4 pour la valeur et 4 pour conserver l’alignement du champ suivant).

Perdre 4 octets par élément, pour un tableau qui en contient un bon millier, ce n’est pas rien. Comment faire pour améliorer la situation ? On peut commencer par échanger les places de Langs et Features. En opérant ainsi, on peut espérer avoir une structure compacte en mémoire, de 44 octets. Malheureusement, ce changement n’est pas suffisant : afin de conserver une structure dont la taille est un multiple de 8 (et ainsi faciliter le chargement de l’élément suivant), le compilateur va ajouter 4 octets de padding (rembourrage ?) en fin de structure.

On peut cependant forcer le comportement du compilateur en utilisant l’attribut packed :

struct Info {
  const char *Name;
  const char *Type, *Attributes, *HeaderName;
  const char *Features;
  LanguageID Langs;
} __attribute__(packed));

La structure ainsi déclarée ne prend alors plus que 44 octets, mais le chargement d’un de ces champs peut alors se faire de manière non alignée, ce qui peut demander deux chargements mémoires au lieu d’un suivant l’architecture cible (ce n’est pas le cas sur x86_64).

Si l’on veut éviter d’utiliser un attribut qui, bien que supporté par GCC et Clang, n’est pas standard, on peut pousser le vice un peu plus loin en utilisant quelques connaissances métiers : l’ensemble des intrinsèques à modéliser est connu à la compilation, et n’est pas modifié à l’exécution. Or, il se trouve qu’il n’existe qu’une trentaine de valeurs utilisées pour le champ HeaderName. Faisons-en une énumération ! Elle sera stockée naturellement sur 4 octets, et on obtient alors (après réorganisation de ces champs) une structure de 40 octets sans avoir recours à une extension :

enum HeaderID { /*...*/ };
struct Info {
  const char *Name;
  const char *Type, *Attributes;
  const char *Features;
  HeaderID HeaderName;
  LanguageID Langs;
};

C’est l’approche qui a été choisie pour Clang dans sa version de développement.

Petit extra : il est possible depuis C++11 de choisir la taille de l’entier utilisé pour stocker une enum. Dans notre cas, enum HeaderID : uint16_t { ...}; combiné à la même approche pour LanguageID et l’attribut packed permettraient d’atteindre une structure de 36 octets, soit une réduction de 25 % de sa taille !



Article rédigé par

Par le(s) même(s) auteur(s)

Des soucis à la chaîne

Magazine
Marque
MISC
HS n°
Numéro
30
Mois de parution
octobre 2024
Spécialité(s)
Résumé

L’histoire, ou plutôt l’Histoire, est une coquine. Et quand Dennis Ritchie et Ken Thompson inventent le langage C en 1972, ils prennent une décision anodine, une micro-optimisation qui fait gagner quelques octets, mais qui aura un impact important sur la sécurité de nombreux systèmes : en C, les chaînes de caractères sont terminées par un octet positionné à zéro.

Édito

Magazine
Marque
MISC
HS n°
Numéro
30
Mois de parution
octobre 2024
Résumé

En regardant la liste des 25 failles les plus dangereuses éditées par MITRE chaque année, on ne peut qu’être frappé par la présence (ou la persistance) de thèmes bien connus : écriture illégale dans une zone mémoire, utilisation d’une zone mémoire désallouée, lecture illégale d’une zone mémoire, déréférencement de pointeur NULL, dépassement de la capacité d’un entier… Autant de sujets qui sont pourtant abordés dans les premiers chapitres de tout bouquin traitant de la sécurité logicielle. Ce qui n’en fait pas pour autant des sujets faciles dès lors que les considérations de base de code existant et de performances rentrent en compte. C’est compliqué l’optimisation multicritère !

Smash Bros

Magazine
Marque
MISC
HS n°
Numéro
30
Mois de parution
octobre 2024
Spécialité(s)
Résumé

En 1996, Aleph One publiait dans l’e-zine Phrack un article intitulé « Smashing the Stack for Fun and Profit ». C’était il y a plus de 25 ans et les principes énoncés dans cet article sont toujours valides, même si leur exploitation est devenue plus technique.De manière plus conventionnelle, l’écriture dans une zone mémoire non-autorisée est un vecteur d’attaque classique connu sous le doux nom de CWE-787.Dans cet article, on se concentrera sur les attaques ciblant la pile, en détaillant quelques bugs classiques, leur exploitation historique et quelques contre-mesures qui ont été mises en place au fil du temps.

Les derniers articles Premiums

Les derniers articles Premium

PostgreSQL au centre de votre SI avec PostgREST

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Dans un système d’information, il devient de plus en plus important d’avoir la possibilité d’échanger des données entre applications. Ce passage au stade de l’interopérabilité est généralement confié à des services web autorisant la mise en œuvre d’un couplage faible entre composants. C’est justement ce que permet de faire PostgREST pour les bases de données PostgreSQL.

La place de l’Intelligence Artificielle dans les entreprises

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

L’intelligence artificielle est en train de redéfinir le paysage professionnel. De l’automatisation des tâches répétitives à la cybersécurité, en passant par l’analyse des données, l’IA s’immisce dans tous les aspects de l’entreprise moderne. Toutefois, cette révolution technologique soulève des questions éthiques et sociétales, notamment sur l’avenir des emplois. Cet article se penche sur l’évolution de l’IA, ses applications variées, et les enjeux qu’elle engendre dans le monde du travail.

Petit guide d’outils open source pour le télétravail

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Ah le Covid ! Si en cette période de nombreux cas resurgissent, ce n’est rien comparé aux vagues que nous avons connues en 2020 et 2021. Ce fléau a contraint une large partie de la population à faire ce que tout le monde connaît sous le nom de télétravail. Nous avons dû changer nos habitudes et avons dû apprendre à utiliser de nombreux outils collaboratifs, de visioconférence, etc., dont tout le monde n’était pas habitué. Dans cet article, nous passons en revue quelques outils open source utiles pour le travail à la maison. En effet, pour les adeptes du costume en haut et du pyjama en bas, la communauté open source s’est démenée pour proposer des alternatives aux outils propriétaires et payants.

Sécurisez vos applications web : comment Symfony vous protège des menaces courantes

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Les frameworks tels que Symfony ont bouleversé le développement web en apportant une structure solide et des outils performants. Malgré ces qualités, nous pouvons découvrir d’innombrables vulnérabilités. Cet article met le doigt sur les failles de sécurité les plus fréquentes qui affectent même les environnements les plus robustes. De l’injection de requêtes à distance à l’exécution de scripts malveillants, découvrez comment ces failles peuvent mettre en péril vos applications et, surtout, comment vous en prémunir.

Les listes de lecture

9 article(s) - ajoutée le 01/07/2020
Vous désirez apprendre le langage Python, mais ne savez pas trop par où commencer ? Cette liste de lecture vous permettra de faire vos premiers pas en découvrant l'écosystème de Python et en écrivant de petits scripts.
11 article(s) - ajoutée le 01/07/2020
La base de tout programme effectuant une tâche un tant soit peu complexe est un algorithme, une méthode permettant de manipuler des données pour obtenir un résultat attendu. Dans cette liste, vous pourrez découvrir quelques spécimens d'algorithmes.
10 article(s) - ajoutée le 01/07/2020
À quoi bon se targuer de posséder des pétaoctets de données si l'on est incapable d'analyser ces dernières ? Cette liste vous aidera à "faire parler" vos données.
Voir les 66 listes de lecture

Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous