Joeq + java annotation

[seddiki ons]

Hello,

I started working with Chord for my research. I want to work with java source code + annotation (either java annotation of JML), extract additional information form the annotations and apply them into the Chord analysis. I know that joeq does not handle java annotations in general but is there a way to extract these annotations directly from the source code or while transforming byte code to joeq representation. Thank you.