Predicate reflectivelyWritten
Holds if f is a field that may be written by reflection.
Import path
import semmle.code.java.Reflection
predicate
reflectivelyWritten
(
Field
f
)