Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Interprétation abstraite interprocédurale sur des

Analyse de code

• Interprétation abstraite interprocédurale sur des domaines numériques relationnels
• Complexité de l'analyse d'échappement (escape analysis ) et garbage-collection statique
• Analyse de flot de données pour des langages à tableaux