Skip to content

Add parameter for ignoring default summaries #423

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 11, 2022
Merged

Add parameter for ignoring default summaries #423

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
8 changes: 8 additions & 0 deletions soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/Main.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,7 @@ class Main {
private static final String OPTION_CLASS_TIMEOUT = "ct";
private static final String OPTION_ANALYZE_HASHCODE_EQUALS = "he";
private static final String OPTION_ANDROID_PLATFORMS = "p";
private static final String OPTION_IGNORE_DEFAULT_SUMMARIES = "is";
private static final String OPTION_WRITE_JIMPLE_FILES = "wj";

public static void main(final String[] args) throws FileNotFoundException, XMLStreamException {
Expand Down Expand Up @@ -80,6 +81,8 @@ private void initializeCommandLineOptions() {
"Also analyze hashCode() and equals() methods");
options.addOption(OPTION_ANDROID_PLATFORMS, "platformsdir", true,
"Path to the platforms directory from the Android SDK");
options.addOption(OPTION_IGNORE_DEFAULT_SUMMARIES, "ignoresummaries", false,
"Existing summaries from the default summary directory are ignored");
options.addOption(OPTION_WRITE_JIMPLE_FILES, "writejimplefiles", false, "Write out the Jimple files");
}

Expand Down Expand Up @@ -203,6 +206,11 @@ protected void configureOptionalSettings(CommandLine cmd, SummaryGenerator gener
String platformsDir = cmd.getOptionValue(OPTION_ANDROID_PLATFORMS);
generator.getConfig().setAndroidPlatformDir(platformsDir);
}
{
boolean ignoreDefaultSummaries = cmd.hasOption(OPTION_IGNORE_DEFAULT_SUMMARIES);
if (ignoreDefaultSummaries)
generator.getConfig().setUseDefaultSummaries(false);
}
{
boolean writeJimpleFiles = cmd.hasOption(OPTION_WRITE_JIMPLE_FILES);
if (writeJimpleFiles)
Expand Down