diff --git a/java/ql/lib/semmle/code/java/frameworks/apache/IOGenerated.qll b/java/ql/lib/semmle/code/java/frameworks/apache/IOGenerated.qll index 931764d56d8..db1ed1bea58 100644 --- a/java/ql/lib/semmle/code/java/frameworks/apache/IOGenerated.qll +++ b/java/ql/lib/semmle/code/java/frameworks/apache/IOGenerated.qll @@ -540,6 +540,7 @@ private class IOGeneratedSummaryCsv extends SummaryModelCsv { "org.apache.commons.io;DirectoryWalker$CancelException;true;getFile;();;Argument[-1];ReturnValue;taint;generated", "org.apache.commons.io;FileCleaningTracker;true;getDeleteFailures;();;Argument[-1];ReturnValue;taint;generated", "org.apache.commons.io;FileDeleteStrategy;true;toString;();;Argument[-1];ReturnValue;taint;generated", + "org.apache.commons.io;FileSystem;false;normalizeSeparators;(String);;Argument[0];ReturnValue;taint;generated", "org.apache.commons.io;FileSystem;false;toLegalFileName;(String,char);;Argument[0];ReturnValue;taint;generated", "org.apache.commons.io;FileUtils;true;checksum;(File,Checksum);;Argument[1];ReturnValue;taint;generated", "org.apache.commons.io;FileUtils;true;convertFileCollectionToFileArray;(Collection);;Argument[0].Element;ReturnValue;taint;generated", @@ -563,6 +564,9 @@ private class IOGeneratedSummaryCsv extends SummaryModelCsv { "org.apache.commons.io;FilenameUtils;true;normalizeNoEndSeparator;(String);;Argument[0];ReturnValue;taint;generated", "org.apache.commons.io;FilenameUtils;true;normalizeNoEndSeparator;(String,boolean);;Argument[0];ReturnValue;taint;generated", "org.apache.commons.io;FilenameUtils;true;removeExtension;(String);;Argument[0];ReturnValue;taint;generated", + "org.apache.commons.io;FilenameUtils;true;separatorsToSystem;(String);;Argument[0];ReturnValue;taint;generated", + "org.apache.commons.io;FilenameUtils;true;separatorsToUnix;(String);;Argument[0];ReturnValue;taint;generated", + "org.apache.commons.io;FilenameUtils;true;separatorsToWindows;(String);;Argument[0];ReturnValue;taint;generated", "org.apache.commons.io;IOExceptionList;true;IOExceptionList;(List);;Argument[0].Element;Argument[-1];taint;generated", "org.apache.commons.io;IOExceptionList;true;IOExceptionList;(String,List);;Argument[1].Element;Argument[-1];taint;generated", "org.apache.commons.io;IOExceptionList;true;getCause;(int);;Argument[-1];ReturnValue;taint;generated", diff --git a/java/ql/lib/semmle/code/java/frameworks/apache/NegativeIOGenerated.qll b/java/ql/lib/semmle/code/java/frameworks/apache/NegativeIOGenerated.qll index 4a9a6394aaf..8c2e0684942 100644 --- a/java/ql/lib/semmle/code/java/frameworks/apache/NegativeIOGenerated.qll +++ b/java/ql/lib/semmle/code/java/frameworks/apache/NegativeIOGenerated.qll @@ -506,7 +506,6 @@ private class IOGeneratedNegativesummaryCsv extends NegativeSummaryModelCsv { "org.apache.commons.io;FileSystem;isCaseSensitive;();generated", "org.apache.commons.io;FileSystem;isLegalFileName;(CharSequence);generated", "org.apache.commons.io;FileSystem;isReservedFileName;(CharSequence);generated", - "org.apache.commons.io;FileSystem;normalizeSeparators;(String);generated", "org.apache.commons.io;FileSystem;supportsDriveLetter;();generated", "org.apache.commons.io;FileSystemUtils;FileSystemUtils;();generated", "org.apache.commons.io;FileSystemUtils;freeSpace;(String);generated", @@ -652,9 +651,6 @@ private class IOGeneratedNegativesummaryCsv extends NegativeSummaryModelCsv { "org.apache.commons.io;FilenameUtils;isExtension;(String,Collection);generated", "org.apache.commons.io;FilenameUtils;isExtension;(String,String);generated", "org.apache.commons.io;FilenameUtils;isExtension;(String,String[]);generated", - "org.apache.commons.io;FilenameUtils;separatorsToSystem;(String);generated", - "org.apache.commons.io;FilenameUtils;separatorsToUnix;(String);generated", - "org.apache.commons.io;FilenameUtils;separatorsToWindows;(String);generated", "org.apache.commons.io;FilenameUtils;wildcardMatch;(String,String);generated", "org.apache.commons.io;FilenameUtils;wildcardMatch;(String,String,IOCase);generated", "org.apache.commons.io;FilenameUtils;wildcardMatchOnSystem;(String,String);generated",