Analyse de code source
Analyse des structures Java Card :
- accès au buffer de lAP'DU,
- if else.
- exceptions,
Analyse de dépendances
- pas de graphe,
- toutes les affectations,
- extraction de structures,
- sous-ensemble de Java Card.
-
Construction des commandes
4 - Analyse de code source et structure extraite