摘要 |
L'invention porte sur un procédé d'analyse d'échappement, comprenant les étapes consistant à :-dans un premier dispositif de traitement, réaliser une analyse statique d'échappement sur un programme en langage intermédiaire d'exécution pour machine virtuelle à pile (201) et générer des signatures d'échappement associées à des méthodes du programme en fonction de règles d'échappement (202) ; -dans un second dispositif de traitement muni d'une machine virtuelle à pile :-charger les signatures d'échappement générées et le programme (203);-réaliser une analyse statique d'échappement partielle (204) basée sur les signatures chargées et générer, en fonction desdites règles d'échappement, des signatures d'échappement de test;-pour une méthode donnée, vérifier (205) la cohérence entre sa signature d'échappement de test et sa signature d'échappement chargée.L'invention permet notamment de limiter l'analyse d'échappement effectuée sur le second dispositif, tout en garantissant l'intégrité du programme chargé.
|