-
Notifications
You must be signed in to change notification settings - Fork 1
/
wala.properties
executable file
·92 lines (78 loc) · 3.5 KB
/
wala.properties
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
###############################################################################
# WALA property file
# This file defines the default settings for the core WALA Engine
###############################################################################
################# Mandatory settings without default value ####################
#####
# Identify the directory where Java Runtime libraries are located.
# For instance, on a windows OS it's typically C:/Progra~1/Java/j2reYourVersion/lib
# On MAC OS, typically /System/Library/Frameworks/JavaVM.framework/Classes
#
# N.B. On Windows or Linux, this directory must contain a valid core.jar (or rt.jar
# for older VMs). On Mac, it should contain the classes.jar file.
# On IBM 1.4.x SDKs, this means you need to specify Java14x/jre/lib and not
# Java14x/lib!
#
# Info: Location must be absolute.
#####
# MAC
#java_runtime_dir = /System/Library/Frameworks/JavaVM.framework/Classes
java_runtime_dir = /Library/Java/JavaVirtualMachines/jdk1.8.0_101.jdk/Contents/Home/jre/lib
# Linux
#java_runtime_dir = /usr/lib/jvm/java-7-openjdk-amd64/jre/lib
# Windows
#java_runtime_dir = C:/Program Files/Java/jre7/lib
################### Mandatory settings with default value ######################
##### Default output dir
# Identify directory where all generated files without absolute path will be located.
# Note that this directory must be created manually; WALA may fail if it does not exist.
# Default value: results [Non absolute path are relative to WALA home location]
# Info: Can be absolute or relative.
#####
#output_dir = Your location
################### Mandatory settings for Android (Dalvik) ####################
# location of runtime jar
#MAC
android_rt_jar = /Users/leesh/Documents/repo/HybriDroid/data/android.jar
#android_rt_jar = /Users/leesh/Documents/plrg/project/HybriDroid/data/android_stub.jar
#android_rt_jar = /home/eshaj/hybridroid/data/android.jar
#android_rt_jar = /Users/LeeSH/projects/hybriDroid/data/
#Windows
#android_rt_jar = C:/datas/hybridroid/sdk/platforms/android-20/android.jar
# location of jar-to-dex tool
#Mac
android_dx_tool = /Users/leesh/Documents/project/hybridroid/data/sdk/build-tools/android-4.4W/dx
#Windows
#android_dx_tool = C:/datas/hybridroid/sdk/build-tools/android-4.4W/dx.bat
# location of apk tool path. It is included in hybridroid package, but need to set the path to execute it.
#Mac
android_apk_tool = /home/eshaj/hybridroid/data/apktool_2.0.2.jar
# location of droidel tool path. used for the option '-droidel'
droidel_tool = /Users/leesh/Documents/plrg/tools/droidel
# location of android framework jar file for droidel.
droidel_android_jar = /Users/leesh/Documents/plrg/tools/droidel/stubs/out/droidel_android-4.4.2_r1.jar
############################ Optional settings ################################
#####
# Identify the directory where J2EE standard libraries are located.
# Required only if you ask to analyze J2EE code.
# No default value.
# Info: Location must be absolute.
#####
#j2ee_runtime_dir = Your location
#####
# Identify the directory where Eclipse plugins are installed
# Required only if you ask to analyze Eclipse plugins.
# No default value.
# Info: Location must be absolute.
#####
#eclipse_plugins_dir = Your location
##### Report file
# Identify file name where to output WALA trace file.
# Default value: wala_report.txt [Non absolute path are relative to 'output.dir' variable value]
# Info: Can be absolute or relative.
#####
#WALA_report = Your file name
#
# the location of DroidBench for Android tests
#
#droidbench.root = Your location