From 363c45335f622253ef65cede6bdd0c2605a14861 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 21 Aug 2016 22:07:31 +0100 Subject: [PATCH] Configuration template. --- .../config/main.config.in | 31 +++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 src/eu.aniketos.dasca.dataflow/config/main.config.in diff --git a/src/eu.aniketos.dasca.dataflow/config/main.config.in b/src/eu.aniketos.dasca.dataflow/config/main.config.in new file mode 100644 index 0000000..b6b6902 --- /dev/null +++ b/src/eu.aniketos.dasca.dataflow/config/main.config.in @@ -0,0 +1,31 @@ +# +# general information + +# depth = [0..2] (the higher, the better) +analysis_depth = 2 + +# name of java project +analysis_project = eu.aniketos.dasca.dataflow.testdata + +# name of java class +analysis_entry_class = Test13 + +# names of analyzed methods (separate multiple methods with ',') +analysis_entry_method = good01 + + +analysis_sanitizer = sanitize, readLineGood +analysis_bad_src = readLine, readLine2 + +analysis_exclusion_file = /eu.aniketos.dasca.dataflow/config/Java60RegressionExclusions.txt + +logging_properties_file = /eu.aniketos.dasca.dataflow/config/log4j.properties + +# +# information for dot generation + +dot_path = /tmp/graphs +dot_remove_empty_nodes = no + +# java_runtime_dir = /usr/lib/jvm/java-6-openjdk-amd64/jre/lib +java_runtime_dir = >/jre/lib/