Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file modified lib/apktool-1.5.2.jar
Binary file not shown.
Binary file added releases/SAAF-v1.jar
Binary file not shown.
5 changes: 3 additions & 2 deletions src/de/rub/syssec/saaf/analysis/steps/slicing/TodoList.java
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,8 @@

import de.rub.syssec.saaf.application.methods.BasicBlock;
import de.rub.syssec.saaf.misc.ByteUtils;
import de.rub.syssec.saaf.misc.config.Config;
import de.rub.syssec.saaf.misc.config.ConfigKeys;
import de.rub.syssec.saaf.model.application.BasicBlockInterface;
import de.rub.syssec.saaf.model.application.CodeLineInterface;
import de.rub.syssec.saaf.model.application.DetectionLogicError;
Expand All @@ -45,8 +47,7 @@ public class TodoList {

private static final Logger LOGGER = Logger.getLogger(TodoList.class);

// TODO: Make it configurable
protected static final int MAX_FUZZY_LEVEL = 10;
protected static final int MAX_FUZZY_LEVEL = Config.getInstance().getIntConfigValue(ConfigKeys.ANALYSIS_MAX_FUZZY_LEVEL, 10);
protected static final int MAX_RS_COUNT = 100000;


Expand Down
15 changes: 14 additions & 1 deletion src/de/rub/syssec/saaf/misc/config/ConfigKeys.java
Original file line number Diff line number Diff line change
Expand Up @@ -193,9 +193,17 @@ public enum ConfigKeys {
*/
ANALYSIS_INCLUDE_AD_FRAMEWORKS("analysis.include.adpackages",true),

/**
* Retrieve the max fuzzy level value for the backtracking. Default is 10
*/

ANALYSIS_MAX_FUZZY_LEVEL("analysis.maxfuzzylevel",10),


/**
* Retrieve the name of the report template to use. The default is "xml.stg"
*/

REPORT_TEMPLATE("reporting.templates.template.default", "report"),
/**
* Retrieve the template group for reporting (only needed with
Expand Down Expand Up @@ -361,8 +369,9 @@ public enum ConfigKeys {

private String name;
public String defaultString;
public int defaultInt;
public boolean defaultBoolean;

private ConfigKeys(String name) {
this.name = name;
}
Expand All @@ -372,6 +381,10 @@ private ConfigKeys(String name, String defaultValue) {
this.defaultString = defaultValue;
}

private ConfigKeys(String name, int defaultValue) {
this.name = name;
this.defaultInt = defaultValue;
}
private ConfigKeys(String name, boolean defaultValue) {
this.name = name;
this.defaultBoolean = defaultValue;
Expand Down