Ricerca variabile in un metodo

[Giuso]

Ciao,
sto studiando i compilatori e in particolare mi viene chiesto come viene ricercata una variabile all'interno di un metodo di una classe X in java. Non so se è la sezione giusta, perchè non riguarda proprio la programmazione java.
In ogni caso quello che mi servirebbe capire è come vengono visitate le varie Symbol Table per risalire alla variabile del metodo.
La mia idea è quella di accedere alla s.t della classe, per ogni dichiarazione di metodo ricerco la definizione della variabile nella s.t del metodo in esame. Se trovo la dichiarazione OK, altrimenti siamo nel caso di una variabile non dichiarata.
Sapete aiutarmi?
Grazie

[andbin]

La mia idea è quella di accedere alla s.t della classe, per ogni dichiarazione di metodo ricerco la definizione della variabile nella s.t del metodo in esame. Se trovo la dichiarazione OK, altrimenti siamo nel caso di una variabile non dichiarata.

Scusa, quindi per capire, riferito a Java, COME vorresti "indagare" nel bytecode della classe? Tramite reflection? O analizzando direttamente il formato del file .class?

Ti dico subito una cosa: i NOMI delle variabili locali nei metodi compaiono nel constant-pool del .class solo se la compilazione viene fatta per "debugging" (in javac l'opzione -g ). Altrimenti NON ci sono.

E in ogni caso, tramite la "reflection" di Java le variabili locali NON non sono "esposte" in alcun modo.
I nomi "reali" (dal sorgente) dei parametri di metodi/costruttori, invece sì, sono disponibili tramite reflection ma solo da Java 8 in poi e previa compilazione con una opzione speciale di javac chiamata -parameters .