extensions: - addsTo: pack: codeql/java-all extensible: sourceModel data: - ["java.util", "Properties", True, "get", "", "", "ReturnValue", "environment", "manual"] - ["java.util", "Properties", True, "getProperty", "", "", "ReturnValue", "environment", "manual"] - addsTo: pack: codeql/java-all extensible: summaryModel data: - ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Map$Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Map$Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Map$Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Map$Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "ArrayDeque", False, "ArrayDeque", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "ArrayList", False, "ArrayList", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Arrays", False, "asList", "", "", "Argument[0].ArrayElement", "ReturnValue.Element", "value", "manual"] - ["java.util", "Arrays", False, "copyOf", "", "", "Argument[0].ArrayElement", "ReturnValue.ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "copyOfRange", "", "", "Argument[0].ArrayElement", "ReturnValue.ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(Object[],Object)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(Object[],int,int,Object)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(boolean[],boolean)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(boolean[],int,int,boolean)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(byte[],byte)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(byte[],int,int,byte)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(char[],char)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(char[],int,int,char)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(double[],double)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(double[],int,int,double)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(float[],float)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(float[],int,int,float)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(int[],int)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(int[],int,int,int)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(long[],int,int,long)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(long[],long)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(short[],int,int,short)", "", "Argument[3]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "fill", "(short[],short)", "", "Argument[1]", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Arrays", False, "spliterator", "", "", "Argument[0].ArrayElement", "ReturnValue.Element", "value", "manual"] - ["java.util", "Arrays", False, "stream", "", "", "Argument[0].ArrayElement", "ReturnValue.Element", "value", "manual"] - ["java.util", "Base64$Decoder", False, "decode", "(ByteBuffer)", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Decoder", False, "decode", "(String)", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Decoder", False, "decode", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Decoder", False, "wrap", "(InputStream)", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Encoder", False, "encode", "(ByteBuffer)", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Encoder", False, "encode", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Encoder", False, "encodeToString", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Base64$Encoder", False, "wrap", "(OutputStream)", "", "Argument[0]", "ReturnValue", "taint", "manual"] - ["java.util", "Collection", True, "add", "", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Collection", True, "addAll", "", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Collection", True, "parallelStream", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collection", True, "stream", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collection", True, "toArray", "", "", "Argument[this].Element", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Collection", True, "toArray", "", "", "Argument[this].Element", "ReturnValue.ArrayElement", "value", "manual"] - ["java.util", "Collections", False, "addAll", "(Collection,Object[])", "", "Argument[1].ArrayElement", "Argument[0].Element", "value", "manual"] - ["java.util", "Collections", False, "asLifoQueue", "(Deque)", "", "Argument[0].Element", "ReturnValue.Element", "value", "df-manual"] - ["java.util", "Collections", False, "checkedCollection", "(Collection,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "checkedList", "(List,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "checkedMap", "(Map,Class,Class)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "checkedMap", "(Map,Class,Class)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "checkedNavigableMap", "(NavigableMap,Class,Class)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "checkedNavigableMap", "(NavigableMap,Class,Class)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "checkedNavigableSet", "(NavigableSet,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "checkedQueue", "(Queue,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "df-manual"] - ["java.util", "Collections", False, "checkedSet", "(Set,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "checkedSortedMap", "(SortedMap,Class,Class)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "checkedSortedMap", "(SortedMap,Class,Class)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "checkedSortedSet", "(SortedSet,Class)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "copy", "(List,List)", "", "Argument[1].Element", "Argument[0].Element", "value", "manual"] - ["java.util", "Collections", False, "enumeration", "(Collection)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "fill", "(List,Object)", "", "Argument[1]", "Argument[0].Element", "value", "manual"] - ["java.util", "Collections", False, "list", "(Enumeration)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "max", "", "", "Argument[0].Element", "ReturnValue", "value", "manual"] - ["java.util", "Collections", False, "min", "", "", "Argument[0].Element", "ReturnValue", "value", "manual"] - ["java.util", "Collections", False, "nCopies", "(int,Object)", "", "Argument[1]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "replaceAll", "(List,Object,Object)", "", "Argument[2]", "Argument[0].Element", "value", "manual"] - ["java.util", "Collections", False, "singleton", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "singletonList", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "singletonMap", "(Object,Object)", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "singletonMap", "(Object,Object)", "", "Argument[1]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "synchronizedCollection", "(Collection)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "synchronizedList", "(List)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "synchronizedMap", "(Map)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "synchronizedMap", "(Map)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "synchronizedNavigableMap", "(NavigableMap)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "synchronizedNavigableMap", "(NavigableMap)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "synchronizedNavigableSet", "(NavigableSet)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "synchronizedSet", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "synchronizedSortedMap", "(SortedMap)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "synchronizedSortedMap", "(SortedMap)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "synchronizedSortedSet", "(SortedSet)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableCollection", "(Collection)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableList", "(List)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableMap", "(Map)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableMap", "(Map)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableNavigableMap", "(NavigableMap)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableNavigableMap", "(NavigableMap)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableNavigableSet", "(NavigableSet)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSequencedCollection", "", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSequencedMap", "", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSequencedMap", "", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSequencedSet", "", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSet", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSortedMap", "(SortedMap)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSortedMap", "(SortedMap)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Collections", False, "unmodifiableSortedSet", "(SortedSet)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "ConcurrentHashMap", False, "ConcurrentHashMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "df-manual"] - ["java.util", "ConcurrentHashMap", False, "ConcurrentHashMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "df-manual"] - ["java.util", "Deque", True, "addFirst", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Deque", True, "addLast", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Deque", True, "descendingIterator", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Deque", True, "getFirst", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "getLast", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "offerFirst", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Deque", True, "offerLast", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Deque", True, "peekFirst", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "peekLast", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "pollFirst", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "pollLast", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "pop", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "push", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Deque", True, "removeFirst", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Deque", True, "removeLast", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Dictionary", True, "elements", "()", "", "Argument[this].MapValue", "ReturnValue.Element", "value", "manual"] - ["java.util", "Dictionary", True, "get", "(Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Dictionary", True, "keys", "()", "", "Argument[this].MapKey", "ReturnValue.Element", "value", "manual"] - ["java.util", "Dictionary", True, "put", "(Object,Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Dictionary", True, "put", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Dictionary", True, "put", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Dictionary", True, "remove", "(Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "EnumMap", False, "EnumMap", "(EnumMap)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "EnumMap", False, "EnumMap", "(EnumMap)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "EnumMap", False, "EnumMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "EnumMap", False, "EnumMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Enumeration", True, "asIterator", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Enumeration", True, "nextElement", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "EventObject", False, "EventObject", "(Object)", "", "Argument[0]", "Argument[this].Field[java.util.EventObject.source]", "value", "manual"] - ["java.util", "EventObject", True, "getSource", "()", "", "Argument[this].Field[java.util.EventObject.source]", "ReturnValue", "value", "manual"] - ["java.util", "HashMap", False, "HashMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "HashMap", False, "HashMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "HashSet", False, "HashSet", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Hashtable", False, "Hashtable", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Hashtable", False, "Hashtable", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "IdentityHashMap", False, "IdentityHashMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "IdentityHashMap", False, "IdentityHashMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Iterator", True, "forEachRemaining", "(Consumer)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Iterator", True, "next", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "LinkedHashMap", False, "LinkedHashMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "LinkedHashMap", False, "LinkedHashMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "LinkedHashSet", False, "LinkedHashSet", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "LinkedList", False, "LinkedList", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "List", True, "add", "(int,Object)", "", "Argument[1]", "Argument[this].Element", "value", "manual"] - ["java.util", "List", True, "addAll", "(int,Collection)", "", "Argument[1].WithElement", "Argument[this]", "value", "manual"] - ["java.util", "List", True, "clear", "()", "", "Argument[this].WithoutElement", "Argument[this]", "value", "manual"] - ["java.util", "List", False, "copyOf", "(Collection)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", True, "get", "(int)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "List", True, "listIterator", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object)", "", "Argument[0..1]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object)", "", "Argument[0..2]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object)", "", "Argument[0..3]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object)", "", "Argument[0..4]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object,Object)", "", "Argument[0..5]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..6]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..7]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..8]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..9]", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", False, "of", "(Object[])", "", "Argument[0].ArrayElement", "ReturnValue.Element", "value", "manual"] - ["java.util", "List", True, "remove", "(int)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "List", True, "set", "(int,Object)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "List", True, "set", "(int,Object)", "", "Argument[1]", "Argument[this].Element", "value", "manual"] - ["java.util", "List", True, "subList", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "ListIterator", True, "add", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "ListIterator", True, "previous", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "ListIterator", True, "set", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Map", True, "computeIfAbsent", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "computeIfAbsent", "", "", "Argument[1].ReturnValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "computeIfAbsent", "", "", "Argument[1].ReturnValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", False, "copyOf", "(Map)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "copyOf", "(Map)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "entry", "(Object,Object)", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "entry", "(Object,Object)", "", "Argument[1]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", True, "entrySet", "", "", "Argument[this].MapKey", "ReturnValue.Element.MapKey", "value", "manual"] - ["java.util", "Map", True, "entrySet", "", "", "Argument[this].MapValue", "ReturnValue.Element.MapValue", "value", "manual"] - ["java.util", "Map", True, "forEach", "(BiConsumer)", "", "Argument[this].MapKey", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Map", True, "forEach", "(BiConsumer)", "", "Argument[this].MapValue", "Argument[0].Parameter[1]", "value", "manual"] - ["java.util", "Map", True, "get", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "getOrDefault", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "getOrDefault", "", "", "Argument[1]", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "keySet", "()", "", "Argument[this].MapKey", "ReturnValue.Element", "value", "manual"] - ["java.util", "Map", True, "merge", "(Object,Object,BiFunction)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[10]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[11]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[12]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[13]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[14]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[15]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[16]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[17]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[18]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[19]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[1]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[2]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[3]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[4]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[5]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[6]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[7]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[8]", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "of", "", "", "Argument[9]", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", False, "ofEntries", "", "", "Argument[0].ArrayElement.MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "Map", False, "ofEntries", "", "", "Argument[0].ArrayElement.MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "Map", True, "put", "(Object,Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "put", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Map", True, "put", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "putAll", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Map", True, "putAll", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "putIfAbsent", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "putIfAbsent", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Map", True, "putIfAbsent", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "remove", "(Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "replace", "(Object,Object)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map", True, "replace", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Map", True, "replace", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "replace", "(Object,Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Map", True, "replace", "(Object,Object,Object)", "", "Argument[2]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Map", True, "values", "()", "", "Argument[this].MapValue", "ReturnValue.Element", "value", "manual"] - ["java.util", "Map$Entry", True, "copyOf", "(Map$Entry)", "", "Argument[0].MapKey", "ReturnValue.MapKey", "value", "df-manual"] - ["java.util", "Map$Entry", True, "copyOf", "(Map$Entry)", "", "Argument[0].MapValue", "ReturnValue.MapValue", "value", "df-manual"] - ["java.util", "Map$Entry", True, "getKey", "", "", "Argument[this].MapKey", "ReturnValue", "value", "manual"] - ["java.util", "Map$Entry", True, "getValue", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map$Entry", True, "setValue", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Map$Entry", True, "setValue", "", "", "Argument[0]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "ceilingEntry", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "ceilingEntry", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "descendingMap", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "descendingMap", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "firstEntry", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "firstEntry", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "floorEntry", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "floorEntry", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "headMap", "(Object,boolean)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "headMap", "(Object,boolean)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "higherEntry", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "higherEntry", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "lastEntry", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "lastEntry", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "lowerEntry", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "lowerEntry", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "pollFirstEntry", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "pollFirstEntry", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "pollLastEntry", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "pollLastEntry", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "subMap", "(Object,boolean,Object,boolean)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "subMap", "(Object,boolean,Object,boolean)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableMap", True, "tailMap", "(Object,boolean)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "NavigableMap", True, "tailMap", "(Object,boolean)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "NavigableSet", True, "ceiling", "(Object)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "descendingIterator", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "NavigableSet", True, "descendingSet", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "NavigableSet", True, "floor", "(Object)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "headSet", "(Object,boolean)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "NavigableSet", True, "higher", "(Object)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "lower", "(Object)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "pollFirst", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "pollLast", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "NavigableSet", True, "subSet", "(Object,boolean,Object,boolean)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "NavigableSet", True, "tailSet", "(Object,boolean)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Objects", False, "requireNonNull", "", "", "Argument[0]", "ReturnValue", "value", "manual"] - ["java.util", "Objects", False, "requireNonNullElse", "", "", "Argument[0]", "ReturnValue", "value", "manual"] - ["java.util", "Objects", False, "requireNonNullElse", "", "", "Argument[1]", "ReturnValue", "value", "manual"] - ["java.util", "Objects", False, "requireNonNullElseGet", "", "", "Argument[0]", "ReturnValue", "value", "manual"] - ["java.util", "Objects", False, "toString", "", "", "Argument[1]", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "filter", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Optional", False, "filter", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Optional", False, "flatMap", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Optional", False, "flatMap", "", "", "Argument[0].ReturnValue", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "get", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "ifPresent", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Optional", False, "ifPresentOrElse", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Optional", False, "map", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"] - ["java.util", "Optional", False, "map", "", "", "Argument[0].ReturnValue", "ReturnValue.Element", "value", "manual"] - ["java.util", "Optional", False, "of", "", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Optional", False, "ofNullable", "", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Optional", False, "or", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Optional", False, "or", "", "", "Argument[0].ReturnValue", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "orElse", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "orElse", "", "", "Argument[0]", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "orElseGet", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "orElseGet", "", "", "Argument[0].ReturnValue", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "orElseThrow", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Optional", False, "stream", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "PriorityQueue", False, "PriorityQueue", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "PriorityQueue", False, "PriorityQueue", "(PriorityQueue)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "PriorityQueue", False, "PriorityQueue", "(SortedSet)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Properties", True, "getProperty", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Properties", True, "getProperty", "(String,String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Properties", True, "getProperty", "(String,String)", "", "Argument[1]", "ReturnValue", "value", "manual"] - ["java.util", "Properties", True, "setProperty", "(String,String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Properties", True, "setProperty", "(String,String)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "Properties", True, "setProperty", "(String,String)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "Queue", True, "element", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Queue", True, "offer", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Queue", True, "peek", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Queue", True, "poll", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Queue", True, "remove", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "ResourceBundle", True, "getString", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "Scanner", True, "findAll", "(Pattern)", "", "Argument[this]", "ReturnValue.Element", "taint", "df-manual"] - ["java.util", "Scanner", True, "findAll", "(String)", "", "Argument[this]", "ReturnValue.Element", "taint", "df-manual"] - ["java.util", "Scanner", True, "match", "()", "", "Argument[this]", "ReturnValue", "taint", "df-manual"] - ["java.util", "Scanner", True, "Scanner", "", "", "Argument[0]", "Argument[this]", "taint", "manual"] - ["java.util", "Scanner", True, "findInLine", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "findWithinHorizon", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "next", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextBigDecimal", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextBigInteger", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextBoolean", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextByte", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextDouble", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextFloat", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextInt", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextLine", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextLong", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "nextShort", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "Scanner", True, "reset", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "Scanner", True, "skip", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "Scanner", True, "useDelimiter", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "Scanner", True, "useLocale", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "Scanner", True, "useRadix", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "SequencedCollection", True, "addFirst", "", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "SequencedCollection", True, "addLast", "", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "SequencedCollection", True, "getFirst", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SequencedCollection", True, "getLast", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SequencedCollection", True, "removeFirst", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SequencedCollection", True, "removeLast", "", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SequencedCollection", True, "reversed", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "SequencedMap", True, "firstEntry", "", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "firstEntry", "", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "lastEntry", "", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "lastEntry", "", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "pollFirstEntry", "", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "pollFirstEntry", "", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "pollLastEntry", "", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "pollLastEntry", "", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "putFirst", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "SequencedMap", True, "putFirst", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "putFirst", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "putLast", "", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"] - ["java.util", "SequencedMap", True, "putLast", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "putLast", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "reversed", "", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "reversed", "", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "sequencedEntrySet", "", "", "Argument[this].MapKey", "ReturnValue.Element.MapKey", "value", "manual"] - ["java.util", "SequencedMap", True, "sequencedEntrySet", "", "", "Argument[this].MapValue", "ReturnValue.Element.MapValue", "value", "manual"] - ["java.util", "SequencedMap", True, "sequencedKeySet", "", "", "Argument[this].MapKey", "ReturnValue.Element", "value", "manual"] - ["java.util", "SequencedMap", True, "sequencedValues", "", "", "Argument[this].MapValue", "ReturnValue.Element", "value", "manual"] - ["java.util", "SequencedSet", True, "reversed", "", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "copyOf", "(Collection)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", True, "clear", "()", "", "Argument[this].WithoutElement", "Argument[this]", "value", "manual"] - ["java.util", "Set", False, "of", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object)", "", "Argument[0..1]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object)", "", "Argument[0..2]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object)", "", "Argument[0..3]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object)", "", "Argument[0..4]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object,Object)", "", "Argument[0..5]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..6]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..7]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..8]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object,Object,Object,Object,Object,Object,Object,Object,Object,Object)", "", "Argument[0..9]", "ReturnValue.Element", "value", "manual"] - ["java.util", "Set", False, "of", "(Object[])", "", "Argument[0].ArrayElement", "ReturnValue.Element", "value", "manual"] - ["java.util", "SortedMap", True, "headMap", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SortedMap", True, "headMap", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SortedMap", True, "subMap", "(Object,Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SortedMap", True, "subMap", "(Object,Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SortedMap", True, "tailMap", "(Object)", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"] - ["java.util", "SortedMap", True, "tailMap", "(Object)", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"] - ["java.util", "SortedSet", True, "first", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SortedSet", True, "headSet", "(Object)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "SortedSet", True, "last", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "SortedSet", True, "subSet", "(Object,Object)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "SortedSet", True, "tailSet", "(Object)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Stack", True, "peek", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Stack", True, "pop", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Stack", True, "push", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "StringJoiner", False, "StringJoiner", "", "", "Argument[0..2]", "Argument[this]", "taint", "manual"] - ["java.util", "StringJoiner", False, "add", "(CharSequence)", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "StringJoiner", False, "add", "(CharSequence)", "", "Argument[0]", "Argument[this]", "taint", "manual"] - ["java.util", "StringJoiner", False, "merge", "", "", "Argument[0]", "Argument[this]", "taint", "manual"] - ["java.util", "StringJoiner", False, "merge", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "StringJoiner", False, "setEmptyValue", "", "", "Argument[0]", "Argument[this]", "taint", "manual"] - ["java.util", "StringJoiner", False, "setEmptyValue", "", "", "Argument[this]", "ReturnValue", "value", "manual"] - ["java.util", "StringJoiner", False, "toString", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "StringTokenizer", False, "StringTokenizer", "", "", "Argument[0]", "Argument[this]", "taint", "manual"] - ["java.util", "StringTokenizer", False, "nextElement", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "StringTokenizer", False, "nextToken", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] - ["java.util", "TreeMap", False, "TreeMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "TreeMap", False, "TreeMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "TreeMap", False, "TreeMap", "(SortedMap)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "TreeMap", False, "TreeMap", "(SortedMap)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - ["java.util", "TreeSet", False, "TreeSet", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "TreeSet", False, "TreeSet", "(SortedSet)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Vector", False, "Vector", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"] - ["java.util", "Vector", True, "addElement", "(Object)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Vector", True, "copyInto", "(Object[])", "", "Argument[this].Element", "Argument[0].ArrayElement", "value", "manual"] - ["java.util", "Vector", True, "elementAt", "(int)", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Vector", True, "elements", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"] - ["java.util", "Vector", True, "firstElement", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Vector", True, "insertElementAt", "(Object,int)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "Vector", True, "lastElement", "()", "", "Argument[this].Element", "ReturnValue", "value", "manual"] - ["java.util", "Vector", True, "setElementAt", "(Object,int)", "", "Argument[0]", "Argument[this].Element", "value", "manual"] - ["java.util", "WeakHashMap", False, "WeakHashMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"] - ["java.util", "WeakHashMap", False, "WeakHashMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"] - addsTo: pack: codeql/java-all extensible: neutralModel data: - ["java.util", "ArrayList", "ArrayList", "(int)", "summary", "manual"] - ["java.util", "ArrayList", "isEmpty", "()", "summary", "manual"] - ["java.util", "ArrayList", "size", "()", "summary", "manual"] - ["java.util", "Arrays", "deepToString", "(Object[])", "summary", "df-manual"] - ["java.util", "Arrays", "toString", "(Object[])", "summary", "manual"] - ["java.util", "Calendar", "getInstance", "()", "summary", "manual"] - ["java.util", "Collection", "contains", "(Object)", "summary", "manual"] - ["java.util", "Collection", "containsAll", "(Collection)", "summary", "manual"] - ["java.util", "Collection", "isEmpty", "()", "summary", "manual"] - ["java.util", "Collection", "remove", "(Object)", "summary", "manual"] - ["java.util", "Collection", "removeIf", "(Predicate)", "summary", "manual"] - ["java.util", "Collection", "size", "()", "summary", "manual"] - ["java.util", "Collections", "emptyList", "()", "summary", "manual"] - ["java.util", "Collections", "emptyMap", "()", "summary", "manual"] - ["java.util", "Collections", "emptySet", "()", "summary", "manual"] - ["java.util", "Collections", "newSetFromMap", "", "summary", "df-manual"] - ["java.util", "Collections", "reverseOrder", "", "summary", "df-manual"] - ["java.util", "Collections", "sort", "", "summary", "manual"] - ["java.util", "Enumeration", "hasMoreElements", "()", "summary", "manual"] - ["java.util", "EnumSet", "allOf", "(Class)", "summary", "df-manual"] - ["java.util", "EnumSet", "clone", "()", "summary", "df-manual"] - ["java.util", "EnumSet", "complementOf", "(EnumSet)", "summary", "df-manual"] - ["java.util", "EnumSet", "copyOf", "(Collection)", "summary", "df-manual"] - ["java.util", "EnumSet", "copyOf", "(EnumSet)", "summary", "df-manual"] - ["java.util", "EnumSet", "noneOf", "(Class)", "summary", "df-manual"] - ["java.util", "EnumSet", "of", "", "summary", "df-manual"] - ["java.util", "EnumSet", "range", "(Object,Object)", "summary", "df-manual"] - ["java.util", "HashMap", "containsKey", "(Object)", "summary", "manual"] - ["java.util", "HashMap", "HashMap", "(int)", "summary", "manual"] - ["java.util", "HashMap", "size", "()", "summary", "manual"] - ["java.util", "HashSet", "HashSet", "(int)", "summary", "manual"] - ["java.util", "Iterator", "hasNext", "()", "summary", "manual"] - ["java.util", "Iterator", "remove", "()", "summary", "manual"] - ["java.util", "List", "contains", "(Object)", "summary", "manual"] - ["java.util", "List", "equals", "(Object)", "summary", "manual"] - ["java.util", "List", "hashCode", "()", "summary", "manual"] - ["java.util", "List", "indexOf", "(Object)", "summary", "manual"] - ["java.util", "List", "isEmpty", "()", "summary", "manual"] - ["java.util", "List", "of", "()", "summary", "manual"] - ["java.util", "List", "remove", "(Object)", "summary", "manual"] - ["java.util", "List", "sort", "(Comparator)", "summary", "manual"] - ["java.util", "List", "size", "()", "summary", "manual"] - ["java.util", "Locale$Builder", "addUnicodeLocaleAttribute", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "build", "()", "summary", "df-manual"] - ["java.util", "Locale$Builder", "clear", "()", "summary", "df-manual"] - ["java.util", "Locale$Builder", "clearExtensions", "()", "summary", "df-manual"] - ["java.util", "Locale$Builder", "removeUnicodeLocaleAttribute", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setExtension", "(char,String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setLanguage", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setLanguageTag", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setLocale", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setLocale", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setRegion", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setScript", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setUnicodeLocaleKeyword", "(String,String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setVariant", "(String)", "summary", "df-manual"] - ["java.util", "Locale$Builder", "setVariant", "(String)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "LanguageRange", "(String)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "LanguageRange", "(String,double)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "getRange", "()", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "mapEquivalents", "(List,Map)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "mapEquivalents", "(List,Map)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "parse", "(String)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "parse", "(String,Map)", "summary", "df-manual"] - ["java.util", "Locale$LanguageRange", "parse", "(String,Map)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String,String)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String,String)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String,String,String)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String,String,String)", "summary", "df-manual"] - ["java.util", "Locale", "Locale", "(String,String,String)", "summary", "df-manual"] - ["java.util", "Locale", "filterTags", "(List,Collection)", "summary", "df-manual"] - ["java.util", "Locale", "filterTags", "(List,Collection,Locale$FilteringMode)", "summary", "df-manual"] - ["java.util", "Locale", "forLanguageTag", "(String)", "summary", "manual"] - ["java.util", "Locale", "getCountry", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayCountry", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayCountry", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayCountry", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayLanguage", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayLanguage", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayLanguage", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayName", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayName", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayName", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayScript", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayScript", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayScript", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayVariant", "()", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayVariant", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getDisplayVariant", "(Locale)", "summary", "df-manual"] - ["java.util", "Locale", "getExtensionKeys", "()", "summary", "df-manual"] - ["java.util", "Locale", "getISO3Language", "()", "summary", "df-manual"] - ["java.util", "Locale", "getLanguage", "()", "summary", "df-manual"] - ["java.util", "Locale", "getScript", "()", "summary", "df-manual"] - ["java.util", "Locale", "getVariant", "()", "summary", "df-manual"] - ["java.util", "Locale", "lookupTag", "(List,Collection)", "summary", "df-manual"] - ["java.util", "Locale", "stripExtensions", "()", "summary", "df-manual"] - ["java.util", "Locale", "toLanguageTag", "()", "summary", "df-manual"] - ["java.util", "Map", "containsKey", "(Object)", "summary", "manual"] - ["java.util", "Map", "isEmpty", "()", "summary", "manual"] - ["java.util", "Map", "size", "()", "summary", "manual"] - ["java.util", "Objects", "equals", "(Object,Object)", "summary", "manual"] - ["java.util", "Objects", "hash", "(Object[])", "summary", "manual"] - ["java.util", "Objects", "hashCode", "(Object)", "summary", "manual"] - ["java.util", "Objects", "isNull", "(Object)", "summary", "manual"] - ["java.util", "Objects", "nonNull", "(Object)", "summary", "manual"] - ["java.util", "Optional", "empty", "()", "summary", "manual"] - ["java.util", "Optional", "isEmpty", "()", "summary", "manual"] - ["java.util", "Optional", "isPresent", "()", "summary", "manual"] - ["java.util", "Random", "nextInt", "(int)", "summary", "manual"] - ["java.util", "ResourceBundle", "getBundle", "", "summary", "df-manual"] - ["java.util", "Scanner", "delimiter", "()", "summary", "df-manual"] - ["java.util", "Scanner", "hasNext", "(Pattern)", "summary", "df-manual"] - ["java.util", "Scanner", "hasNext", "(String)", "summary", "df-manual"] - ["java.util", "Scanner", "ioException", "()", "summary", "df-manual"] - ["java.util", "Scanner", "locale", "()", "summary", "df-manual"] - ["java.util", "Set", "contains", "(Object)", "summary", "manual"] - ["java.util", "Set", "isEmpty", "()", "summary", "manual"] - ["java.util", "Set", "remove", "(Object)", "summary", "manual"] - ["java.util", "Set", "removeAll", "(Collection)", "summary", "manual"] - ["java.util", "Set", "size", "()", "summary", "manual"] - ["java.util", "TreeMap", "TreeMap", "(Comparator)", "summary", "df-manual"] - ["java.util", "TreeSet", "TreeSet", "(Comparator)", "summary", "df-manual"] - ["java.util", "UUID", "equals", "(Object)", "summary", "manual"] - ["java.util", "UUID", "fromString", "(String)", "summary", "manual"] - ["java.util", "UUID", "randomUUID", "()", "summary", "manual"] - ["java.util", "UUID", "toString", "()", "summary", "manual"] - ["java.util", "TimeZone", "getTimeZone", "(String)", "summary", "manual"] - ["java.util", "Vector", "size", "()", "summary", "manual"] # The below API is currently being stored as neutral models since `WithoutElement` does not yet have a counterpart for MapValue/MapKey. - ["java.util", "Map", "clear", "()", "summary", "manual"] # The below APIs have numeric flow and are currently being stored as neutral models. # These may be changed to summary models with kinds "value-numeric" and "taint-numeric" (or similar) in the future. - ["java.util", "Calendar", "add", "(int,int)", "summary", "manual"] # taint-numeric - ["java.util", "Calendar", "get", "(int)", "summary", "manual"] # value-numeric - ["java.util", "Calendar", "getTime", "()", "summary", "manual"] # taint-numeric - ["java.util", "Calendar", "getTimeInMillis", "()", "summary", "manual"] # taint-numeric - ["java.util", "Calendar", "set", "(int,int)", "summary", "manual"] # value-numeric - ["java.util", "Calendar", "setTime", "(Date)", "summary", "manual"] # taint-numeric - ["java.util", "Date", "Date", "(long)", "summary", "manual"] # taint-numeric - ["java.util", "Date", "getTime", "()", "summary", "manual"] # taint-numeric - ["java.util", "Date", "from", "(Instant)", "summary", "manual"] # taint-numeric - ["java.util", "Date", "toInstant", "()", "summary", "manual"] # taint-numeric