Skip to content

Introduce flag for writing jimple files during summary generation #395

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
Oct 5, 2021
Merged

Introduce flag for writing jimple files during summary generation #395

Show file tree
Hide file tree
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
6 changes: 5 additions & 1 deletion soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/DefaultSummaryConfig.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,11 @@ public void setSootOptions(Options options, InfoflowConfiguration config) {
options.set_no_bodies_for_excluded(true);
options.set_allow_phantom_refs(true);
options.set_include(includeList);
options.set_output_format(Options.output_format_none);
if (summaryConfig.getWriteOutputFiles())
options.set_output_format(Options.output_format_jimple);
else
options.set_output_format(Options.output_format_none);

options.setPhaseOption("jb", "use-original-names:true");
options.set_ignore_classpath_errors(true);

Expand Down
7 changes: 7 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_WRITE_JIMPLE_FILES = "wj";

public static void main(final String[] args) throws FileNotFoundException, XMLStreamException {
Main main = new Main();
Expand Down Expand Up @@ -79,6 +80,7 @@ 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_WRITE_JIMPLE_FILES, "writejimplefiles", false, "Write out the Jimple files");
}

public void run(final String[] args) throws FileNotFoundException, XMLStreamException {
Expand Down Expand Up @@ -201,6 +203,11 @@ protected void configureOptionalSettings(CommandLine cmd, SummaryGenerator gener
String platformsDir = cmd.getOptionValue(OPTION_ANDROID_PLATFORMS);
generator.getConfig().setAndroidPlatformDir(platformsDir);
}
{
boolean writeJimpleFiles = cmd.hasOption(OPTION_WRITE_JIMPLE_FILES);
if (writeJimpleFiles)
generator.getConfig().setWriteOutputFiles(true);
}
}

/**
Expand Down
5 changes: 4 additions & 1 deletion ...infoflow-summaries/src/soot/jimple/infoflow/methodSummary/generator/SummaryGenerator.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -267,7 +267,10 @@ public ClassSummaries createMethodSummaries(String classpath, Collection<String>
}
}

Options.v().set_output_format(Options.output_format_none);
if (config.getWriteOutputFiles())
Options.v().set_output_format(Options.output_format_jimple);
else
Options.v().set_output_format(Options.output_format_none);
if (hasWildcard || config.getLoadFullJAR() || config.getSummarizeFullJAR())
Options.v().set_process_dir(Arrays.asList(classpath.split(File.pathSeparator)));
else
Expand Down