From 4865370393293c2eeac75b3b0bf12f5ca6fd1c65 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 29 Oct 2018 11:31:58 +0000 Subject: [PATCH] Updated name and location of configuration file. --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a27474a..92d8b06 100644 --- a/README.md +++ b/README.md @@ -39,12 +39,12 @@ the WALA configuration. If you experience problems or want to optimize the performance (e.g., by analyzing the programs based on a different Java version), you might need to configure the location of the Java JDK. The JDK used -as part of the static analysis is configured in the `wala.properties` -file, e.g. +as part of the static analysis is configured in the file +`com.logicalhacking.dasca.dataflow/config/main.config`, e.g. ``` sh cd DASCA/ -echo "java_runtime_dir = " >> externals/WALA/com.ibm.wala.core/dat/wala.properties +echo "java_runtime_dir = " >> ./com.logicalhacking.dasca.dataflow/config/main.config ``` Don't forget to adjust the path to the Java JDK accordingly, i.e.,