Chargement de la vue.
Calendrier de Évènements
L lun
M mar
M mer
J jeu
V ven
S sam
D dim
0 évènement,
1 évènement,
-
Séminaire Algorithmique : « StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié », Antonin Reitz (équipe Prosecco, INRIA Paris)
Séminaire Algorithmique : « 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 nombreux logiciels très couramment utilisés. Si ces langages permettent d'obtenir de bonnes performances, ils sont particulièrement vulnérables aux attaques par corruption mémoire. Des études récentes estiment que des erreurs … Continue reading Séminaire Algorithmique : « StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié », Antonin Reitz (équipe Prosecco, INRIA Paris)