Frama-Clang does allow access to private fields within annotations (#850) · Issues · pub / frama-c