DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Configuration template.

This commit is contained in:
Achim D. Brucker 2016-08-21 22:07:31 +01:00
parent 2595bfaa24
commit 363c45335f
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
src/eu.aniketos.dasca.dataflow/config/main.config.in Normal file
View File

@ -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 = <path to workspace or source>/eu.aniketos.dasca.dataflow/config/Java60RegressionExclusions.txt
logging_properties_file = <path to workspace or source>/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 = <path to Java installatin directory>>/jre/lib/