StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié
Antonin Reitz (Équipe Prosecco, INRIA Paris)Malgré la popularisation de langages modernes qui permettent une gestion sûre de la mémoire, C et C++ restent des langages de choix pour le développement de ...