Predicate InsecureXML::InsecureXML::XmlSettings::dtdEnabledSettings

Holds if the given object creation constructs XmlReaderSettings with DTD processing enabled.

predicate dtdEnabledSettings(ObjectCreation creation, Expr evidence, string reason)