{
  "force-delete-results-dir": true,
  "quandary-sources": [
    {
      "procedure": "codetoanalyze.java.quandary.ExternalSpecs.privateData*",
      "kind": "PrivateData"
    },
    {
      "procedure": "codetoanalyze.java.quandary.InterfaceSpec.source",
      "kind": "PrivateData"
    }
  ],
  "quandary-sinks": [
    {
      "procedure": "codetoanalyze.java.quandary.ExternalSpecs.loggingSink1",
      "kind": "Logging",
      "index": "1"
    },
    {
      "procedure": "codetoanalyze.java.quandary.ExternalSpecs.loggingSink2",
      "kind": "Logging"
    },
    {
      "procedure": "codetoanalyze.java.quandary.ExternalSpecs.sinkThatPropagates",
      "kind": "Logging"
    },
    {
      "procedure": "codetoanalyze.java.quandary.InterfaceSpec.sink",
      "kind": "Logging"
    },
    {
      "procedure": "codetoanalyze.java.quandary.ConstructorSink.<init>",
      "kind": "Other",
      "index": "0"
    }
  ],
  "quandary-sanitizers": [
    {
      "procedure": "codetoanalyze.java.quandary.ExternalSpecs.sanitizer"
    }
  ],
  "quandary-endpoints": [
    "codetoanalyze.java.quandary.MyService"
  ]
}
