The present invention analyzes an application A and computes a set reachable methods in A by determining the methods in A that may be called from another reachable method in A, or from within a class library L used by A without analyzing the classes in L. The invention may be used as an optimization to reduce application size by eliminating unreachable methods.

La présente invention analyse une application A et calcule des méthodes accessibles d'un ensemble dans A en déterminant les méthodes dans A qui peut s'appeler d'une autre méthode accessible dans A, ou en dedans d'une bibliothèque L de classe employée par A sans analyser les classes en L. L'invention peut être employée comme optimisation pour réduire la taille d'application en éliminant des méthodes inaccessibles.