Predicate isSafeFlexjsonDeserializer
Holds if e
is a safely configured Flexjson JSONDeserializer
.
Import path
import semmle.code.java.security.UnsafeDeserializationQuery
predicate
isSafeFlexjsonDeserializer
(
Expr
e
)