test.yml

optionsFile: null
printHelp: false
classPath: []
appClassPath:
  - java-benchmarks/JDV/BasicDependency/
  - java-benchmarks/JDV/target/FileUpload/ # <org.yaml.snakeyaml.Yaml: java.lang.Object load(java.lang.String)>
inputClasses: []
javaVersion: 8
prependJVM: false
allowPhantom: true
worldBuilderClass: pascal.taie.frontend.soot.SootWorldBuilder
outputDir: output
preBuildIR: false
worldCacheMode: false
scope: ALL
nativeModel: true
planFile: null
sources:
  - "serializable" # serializable | method signature (eg, <org.yaml.snakeyaml.Yaml: java.lang.Object load(java.lang.String)>)
filterNonSerializable: True
GC_MAX_LEN: 12
analyses:
  method-summary:
    priori-knowledge:java-benchmarks/JDV/priori-knowledge.yml
GC_OUT: chains
COLLECT_GC_INPROCESS: False # Specifies whether Flash should detect gadget chains during call graph construction or after the call graph has been fully built.
GCGraph_COLLECT_TIME: 3 # When COLLECT_GC_INPROCESS is set to True, this parameter defines the maximum traversal time for traversing gadget graph starting from a specific node.
SINK_MAX_TIME: 180 # When COLLECT_GC_INPROCESS is set to False, this parameter defines the maximum time allowed for backward traversal from a given sink node.
LCS_THRESHOLD: 0.8
onlyGenPlan: false
keepResult:
  - $KEEP-ALL