Gestion de mémoire dynamique et implicite par aspect pour des logiciels C++
Bibliographic record
Abstract
Le langage C++ est un langage destiné pour des projets complexes et de taille importante. En effet, il permet la programmation sous de multiples paradigmes, comme la programmation procédurale, la programmation orientée objet et la programmation générique. Sa facilité d'utilisation et son efficacité, soutenues avec une bonne flexibilité et une bonne portabilité, font de lui un langage performant et le 3ème utilisé dans le monde. \n \nToutefois, les dispositifs de sécurité sont soit absents, soit mal supportés par la programmation C++; malheureusement, la flexibilité et le contrôle explicite des données que C++ offre au programmeur représentent une importante source de vulnérabilité et d'erreurs critiques. Certes, les librairies C++ sont fournies aux programmeurs avec des fonctions pour la gestion des privilèges, la gestion des fichiers, ou encore la gestion du réseau, mais négligent les problèmes de sécurité. Notons que la sécurité est celle de la gestion de mémoire et celle des types tels que les débordements de mémoire tampon, les erreurs de format de chaîne et les mauvaises conversions de type. \n \nMalgré la disponibilité de nombreux livres et documents sur lesquels un programmeur peut s'appuyer pour développer un code sécuritaire, des erreurs de mise en ?uvre ayant des conséquences graves pour la sécurité existent toujours dans le code source. Plus le nombre de lignes augmente, plus un contrôle manuel des violations de la sécurité devient difficile. N'étant pas appuyée par une gestion implicite, la gestion de la mémoire en C++ s'est vue toujours comme un exercice difficile, voire parfois périlleux. Cette contrainte a toujours posé un défi considérable. \n \nCe travail de recherche vise à développer une méthode et un outil qui permettront une gestion et un débogage implicite de la mémoire C++. Nous nous sommes inspirés des limites de débogueurs de mémoire connues dans le domaine pour réviser certains choix de structuration et de conception de notre outil. La programmation par aspect, incarnant la séparation des préoccupations et formant un support méthodologique de modélisation et de programmation, a servi de support pour 1'implementation d'un outil générique et nous avons pu regrouper l'aspect mémoire en un seul aspect. Et en étant soutenus par la programmation par aspect, nous avons pu aussi contourner les limites du modèle de programmation par objet. \n \nNous avons opté pour une solution raffinée des solutions déjà proposées {Purify et Memcheck&Valgrind). Cette dernière inclut i) un aspect permettant la sécurisation des allocations et des désallocations des espaces mémoire C++, ii) un aspect de détection et de traitement des erreurs qui sont dues à une mauvaise gestion de mémoire C++, et iii) un aspect capable de calculer le besoin d'une application C++ en mémoire ainsi que son temps d'exécution. L'outil incarnant la solution proposée a été expérimenté sur une application existante et a été comparé avec l'outil Purify selon six critères bien identifiés (Chapitre 5).
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame machine prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. The Gemma side is a direct model label for every work in the frame, read from the title-only record. The Codex side is a classifier learned from the 10,348 direct Codex labels and calibrated to design-weighted sample rates; fields without enough sample support carry no Codex call. Candidate is the union of the two sides; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels.
Distilled classifier scores by category (both heads)
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.002 | 0.005 |
| Meta-epidemiology (narrow) | 0.001 | 0.001 |
| Meta-epidemiology (broad) | 0.001 | 0.001 |
| Bibliometrics | 0.001 | 0.000 |
| Science and technology studies | 0.001 | 0.002 |
| Scholarly communication | 0.004 | 0.003 |
| Open science | 0.001 | 0.002 |
| Research integrity | 0.001 | 0.002 |
| Insufficient payload (model declined to judge) | 0.013 | 0.004 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one source (direct Gemma or distilled Codex), not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".