instrumenting all variable access

HI there

I need to dynamically log all read/write access to any variables/objects
during class execution in the jvm
This is for a phd parallelism research, and i have a strong background in
C/java

a. Are there any existing code out there ?
I played with BCEL to trace some of the opcodes... nice stuff

b. Can someone recommend how to add some semantic info  from the .class
source file ?
For example, i would like to know if a certain variable is a for-loop
counter

Has anyone combined some of the syntax-tree parsers with BCEL ?

Thanks for any suggestions or input

yazriel atty  gmail dotty com