Seminaire Oasis

Ludovic Henrio

Projet Oasis, INRIA Sophia-Antipolis

Lundi 17 sept 2001, 14h, salle du Cermics

Title : Context Inference for Static Analysis of Java Card Object Sharing
Abstract :
This article presents an analysis to statically check the Java Card sharing policy. From the program text, both the violation and the guaranty of correctness can be detected in certain cases avoiding Run-time exception. Using type inference techniques, a specific inference algorithm is proposed in order to achieve such result. The current implementation is outlined, and experimental results are given on a benchmark program.

Retour au sommaire / Back to schedule

Eric Madelaine

Last modified: Fri Sep 14 13:12:23 MEST 2001