Skip to content

Commit 039bcb3

Browse files
committed
fixed the POMs
1 parent 190f437 commit 039bcb3

5 files changed

Lines changed: 17 additions & 23 deletions

File tree

pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<modelVersion>4.0.0</modelVersion>
66
<groupId>de.fraunhofer.sit.flowdroid</groupId>
77
<artifactId>parent</artifactId>
8-
<version>2.7-SNAPSHOT</version>
8+
<version>2.7</version>
99
<name>FlowDroid Parent Module</name>
1010
<packaging>pom</packaging>
1111

soot-infoflow-android/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@
9393
<dependency>
9494
<groupId>de.tud.sse</groupId>
9595
<artifactId>soot-infoflow</artifactId>
96-
<version>2.7-SNAPSHOT</version>
96+
<version>2.7</version>
9797
</dependency>
9898
<dependency>
9999
<groupId>heros</groupId>

soot-infoflow-cmd/pom.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -105,12 +105,12 @@
105105
<dependency>
106106
<groupId>de.tud.sse</groupId>
107107
<artifactId>soot-infoflow-android</artifactId>
108-
<version>2.7-SNAPSHOT</version>
108+
<version>2.7</version>
109109
</dependency>
110110
<dependency>
111111
<groupId>de.tud.sse</groupId>
112112
<artifactId>soot-infoflow-summaries</artifactId>
113-
<version>2.7-SNAPSHOT</version>
113+
<version>2.7</version>
114114
</dependency>
115115
<dependency>
116116
<groupId>heros</groupId>

soot-infoflow-summaries/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@
137137
<dependency>
138138
<groupId>de.tud.sse</groupId>
139139
<artifactId>soot-infoflow</artifactId>
140-
<version>2.7-SNAPSHOT</version>
140+
<version>2.7</version>
141141

142142
<exclusions>
143143
<exclusion>

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/xml/XMLWriter.java

Lines changed: 12 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -38,37 +38,31 @@ public XMLWriter() {
3838
/**
3939
* Writes the given class summaries into files, one per class
4040
*
41-
* @param file
42-
* The target directory in which to place the class summary files
43-
* @param summary
44-
* The class summaries to write out
45-
* @throws FileNotFoundException
46-
* Thrown if the target file could not be found or created
47-
* @throws XMLStreamException
48-
* Thrown if the XML data could not be written
41+
* @param file The target directory in which to place the class summary files
42+
* @param summary The class summaries to write out
43+
* @throws FileNotFoundException Thrown if the target file could not be found or
44+
* created
45+
* @throws XMLStreamException Thrown if the XML data could not be written
4946
*/
5047
public void write(File file, ClassSummaries summary) throws FileNotFoundException, XMLStreamException {
5148
for (String className : summary.getClasses()) {
5249
String fileName = file.getAbsolutePath() + File.separatorChar + className + ".xml";
53-
write(new File(fileName), summary.getClassSummaries(className));
50+
write(new File(fileName), summary.getClassSummaries(className).getMethodSummaries());
5451
}
5552
}
5653

5754
/**
5855
* Writes the given method summaries into the given XML file
5956
*
60-
* @param file
61-
* The XML file in which to write the summaries
62-
* @param summary
63-
* The method summaries to be written out
64-
* @throws FileNotFoundException
65-
* Thrown if the target file could not be found or created
66-
* @throws XMLStreamException
67-
* Thrown if the XML data could not be written
57+
* @param file The XML file in which to write the summaries
58+
* @param summary The method summaries to be written out
59+
* @throws FileNotFoundException Thrown if the target file could not be found or
60+
* created
61+
* @throws XMLStreamException Thrown if the XML data could not be written
6862
*/
6963
public void write(File file, MethodSummaries summary) throws FileNotFoundException, XMLStreamException {
7064
// Do not write out empty summaries
71-
if (summary.isEmpty())
65+
if (summary == null || summary.isEmpty())
7266
return;
7367

7468
OutputStream out = new FileOutputStream(file);

0 commit comments

Comments
 (0)