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

Updated name and location of configuration file.

This commit is contained in:
Achim D. Brucker 2018-10-29 11:31:58 +00:00
parent bbeb513690
commit 4865370393
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -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 = <PATH-TO-JDK>" >> externals/WALA/com.ibm.wala.core/dat/wala.properties
echo "java_runtime_dir = <PATH-TO-JDK>" >> ./com.logicalhacking.dasca.dataflow/config/main.config
```
Don't forget to adjust the path to the Java JDK accordingly, i.e.,