Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité

摘要

Nous présentons dans cet article deux nouveaux points de coupure et deux nouvelles primitives pour la programmation par aspect nécessaires au renforcement systématique de sécurité. Les deux points de coupure proposés permettent l identification de certains points de jointure dans un graphe de flots de contrôle. Le premier est le GAFlow, l'ancêtre garanti le plus près, qui retourne l'ancêtre le plus près étant sur le chemin de tous les points d'intérêt. Le deuxième est le GDFlow, le descendant garanti le plus près, qui détermine le point de jointure descendant le plus près pouvant être traversé par tous les chemins émanant des points de coupure d'intérêt. Les deux primitives proposées sont appelées ExportParameter et I mportParameter et sont utilisées pour passer les paramètres entre deux points de coupure.