{"additionalProperties": false, "type": "object", "properties": {"suppress": {"items": {"type": "string"}, "type": "array"}, "transitive": {"type": "boolean"}, "analysis": {"items": {"enum": ["dce", "exception", "termination"]}, "type": "array"}, "unsuppress": {"items": {"type": "string"}, "type": "array"}}}