[DiSL-user] Handling Array store/load

Alessio Gambi gambi at st.cs.uni-saarland.de
Fri Apr 28 12:15:00 CEST 2017


Hi DiSL-ers,

I am in the following situation:

I can capture the array store and load events, but I cannot understand how I can get the following information (if possible):

- Which field of which class the array store refers to?

Best

— Alessio



More information about the Disl-user mailing list