You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
41 lines
989 B
41 lines
989 B
{
|
|
"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"
|
|
}
|
|
],
|
|
"quandary-sanitizers": [
|
|
{
|
|
"procedure": "codetoanalyze.java.quandary.ExternalSpecs.sanitizer"
|
|
}
|
|
],
|
|
"quandary-endpoints": [
|
|
"codetoanalyze.java.quandary.MyService"
|
|
]
|
|
}
|