Replace singleton set

This commit is contained in:
Chris Smowton
2022-04-26 12:17:42 +01:00
parent 03d86306b2
commit c0c50147b3

View File

@@ -107,6 +107,6 @@ private class Jms2Source extends SourceModelCsv {
/** Defines additional taint propagation steps in JMS 2. */
private class Jms2FlowStep extends SummaryModelCsv {
override predicate row(string row) {
row = ["javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint",]
row = "javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint"
}
}