mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
Java: Manually model InetSocketAddress as the model generator doesn't correctly taint the hostname.
This commit is contained in:
Michael Nebel
@@ -32,25 +32,27 @@ extensions:
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,InetAddress,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,InetAddress,int)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,SocketAddress)", "", "Argument[2].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,SocketAddress)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int,InetAddress,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int,InetAddress,int)", "", "Argument[3]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int,SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int,SocketAddress)", "", "Argument[3].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "DatagramPacket", "(byte[],int,int,SocketAddress)", "", "Argument[3]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "getAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "getData", "()", "", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "getSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "ReturnValue.SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "getSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "setAddress", "(InetAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "setData", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "setData", "(byte[],int,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.buf]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "setSocketAddress", "(SocketAddress)", "", "Argument[0].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramPacket", False, "setSocketAddress", "(SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramPacket.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "connect", "(InetAddress,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "connect", "(SocketAddress)", "", "Argument[0].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "connect", "(SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getInetAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getLocalAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getLocalSocketAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getRemoteSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "ReturnValue.SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "getRemoteSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "receive", "(DatagramPacket)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "send", "(DatagramPacket)", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.connectedAddress]", "Argument[0].SyntheticField[java.net.DatagramPacket.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "setOption", "(SocketOption,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "DatagramSocket", True, "supportedOptions", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
@@ -94,10 +96,6 @@ extensions:
|
||||
- ["java.net", "InetAddress", True, "getByAddress", "(String,byte[])", "", "Argument[1]", "ReturnValue.SyntheticField[java.net.Inet6Address.holder6].SyntheticField[java.net.Inet6Address$Inet6AddressHolder.ipaddress]", "taint", "dfc-generated"]
|
||||
- ["java.net", "InetAddress", True, "getCanonicalHostName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "InetAddress", True, "getHostName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "InetSocketAddress", True, "InetSocketAddress", "(InetAddress,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "value", "dfc-generated"]
|
||||
- ["java.net", "InetSocketAddress", True, "getAddress", "()", "", "Argument[this].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "InetSocketAddress", True, "getHostName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "InetSocketAddress", True, "getHostString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "InterfaceAddress", True, "getAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "InterfaceAddress", True, "getBroadcast", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "JarURLConnection", True, "getAttributes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
@@ -110,6 +108,7 @@ extensions:
|
||||
- ["java.net", "MalformedURLException", True, "MalformedURLException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "getInterface", "()", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.infAddress]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "getInterface", "()", "", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[sun.nio.ch.DatagramSocketAdaptor.outgoingInetAddress]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "send", "(DatagramPacket,byte)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "send", "(DatagramPacket,byte)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "setInterface", "(InetAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[java.net.NetMulticastSocket.infAddress]", "value", "dfc-generated"]
|
||||
- ["java.net", "MulticastSocket", True, "setInterface", "(InetAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.DatagramSocket.delegate].SyntheticField[sun.nio.ch.DatagramSocketAdaptor.outgoingInetAddress]", "value", "dfc-generated"]
|
||||
@@ -130,24 +129,29 @@ extensions:
|
||||
- ["java.net", "Proxy", True, "Proxy", "(Proxy$Type,SocketAddress)", "", "Argument[1]", "Argument[this].SyntheticField[java.net.Proxy.sa]", "value", "dfc-generated"]
|
||||
- ["java.net", "Proxy", True, "address", "()", "", "Argument[this].SyntheticField[java.net.Proxy.sa]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "ProxySelector", True, "select", "(URI)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "ServerSocket", True, "ServerSocket", "(int,int,InetAddress)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "ServerSocket", "(int,int,InetAddress)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "accept", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "ServerSocket", True, "bind", "(SocketAddress)", "", "Argument[0].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "bind", "(SocketAddress,int)", "", "Argument[0].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "bind", "(SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "bind", "(SocketAddress,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "ServerSocket", True, "getInetAddress", "()", "", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "getLocalSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.ServerSocket.impl].SyntheticField[java.net.SocketImpl.address]", "ReturnValue.SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "getLocalSocketAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "ServerSocket", True, "setOption", "(SocketOption,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "ServerSocket", True, "supportedOptions", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(InetAddress,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(InetAddress,int,InetAddress,int)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(InetAddress,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(Proxy)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(String,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(String,int,InetAddress,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(String,int,InetAddress,int)", "", "Argument[2]", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "Socket", "(String,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "bind", "(SocketAddress)", "", "Argument[0].SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "value", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "bind", "(SocketAddress)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "taint", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "getInetAddress", "()", "", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "getInputStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "getLocalAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "getLocalSocketAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "getRemoteSocketAddress", "()", "", "Argument[this].SyntheticField[java.net.Socket.impl].SyntheticField[java.net.SocketImpl.address]", "ReturnValue.SyntheticField[java.net.InetSocketAddress.holder].SyntheticField[java.net.InetSocketAddress$InetSocketAddressHolder.addr]", "value", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "getRemoteSocketAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "Socket", True, "setOption", "(SocketOption,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["java.net", "Socket", True, "supportedOptions", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["java.net", "SocketException", True, "SocketException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
||||
@@ -246,7 +250,6 @@ extensions:
|
||||
- ["java.net", "DatagramSocket", "bind", "(SocketAddress)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "disconnect", "()", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "getBroadcast", "()", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "getLocalAddress", "()", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "getLocalPort", "()", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "getOption", "(SocketOption)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "getPort", "()", "summary", "df-generated"]
|
||||
@@ -260,7 +263,6 @@ extensions:
|
||||
- ["java.net", "DatagramSocket", "isConnected", "()", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "joinGroup", "(SocketAddress,NetworkInterface)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "leaveGroup", "(SocketAddress,NetworkInterface)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "receive", "(DatagramPacket)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "setBroadcast", "(boolean)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "setDatagramSocketImplFactory", "(DatagramSocketImplFactory)", "summary", "df-generated"]
|
||||
- ["java.net", "DatagramSocket", "setReceiveBufferSize", "(int)", "summary", "df-generated"]
|
||||
@@ -334,7 +336,6 @@ extensions:
|
||||
- ["java.net", "InetAddress", "isReachable", "(int)", "summary", "df-generated"]
|
||||
- ["java.net", "InetAddress", "isSiteLocalAddress", "()", "summary", "df-generated"]
|
||||
- ["java.net", "InetSocketAddress", "InetSocketAddress", "(int)", "summary", "df-generated"]
|
||||
- ["java.net", "InetSocketAddress", "getPort", "()", "summary", "df-generated"]
|
||||
- ["java.net", "InetSocketAddress", "isUnresolved", "()", "summary", "df-generated"]
|
||||
- ["java.net", "InterfaceAddress", "getNetworkPrefixLength", "()", "summary", "df-generated"]
|
||||
- ["java.net", "JarURLConnection", "getMainAttributes", "()", "summary", "df-generated"]
|
||||
@@ -397,12 +398,7 @@ extensions:
|
||||
- ["java.net", "ServerSocket", "setReuseAddress", "(boolean)", "summary", "df-generated"]
|
||||
- ["java.net", "ServerSocket", "setSoTimeout", "(int)", "summary", "df-generated"]
|
||||
- ["java.net", "ServerSocket", "setSocketFactory", "(SocketImplFactory)", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "Socket", "(InetAddress,int)", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "Socket", "(InetAddress,int,InetAddress,int)", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "Socket", "(InetAddress,int,boolean)", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "Socket", "(Proxy)", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "getKeepAlive", "()", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "getLocalAddress", "()", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "getLocalPort", "()", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "getOOBInline", "()", "summary", "df-generated"]
|
||||
- ["java.net", "Socket", "getOption", "(SocketOption)", "summary", "df-generated"]
|
||||
|
||||
@@ -10,7 +10,9 @@ extensions:
|
||||
- ["javax.net", "ServerSocketFactory", True, "createServerSocket", "(int,int,InetAddress)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "ServerSocketFactory", True, "createServerSocket", "(int,int,InetAddress)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(InetAddress,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(InetAddress,int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(InetAddress,int,InetAddress,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(InetAddress,int,InetAddress,int)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(InetAddress,int,InetAddress,int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["javax.net", "SocketFactory", True, "createSocket", "(String,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
||||
|
||||
@@ -41,8 +41,15 @@ extensions:
|
||||
- ["java.net", "InetAddress", True, "getByAddress", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "ai-manual"]
|
||||
- ["java.net", "InetAddress", True, "getByName", "(String)", "", "Argument[0]", "ReturnValue", "taint", "ai-manual"]
|
||||
- ["java.net", "InetAddress", True, "getAllByName", "(String)", "", "Argument[0]", "ReturnValue.ArrayElement", "taint", "ai-manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "createUnresolved", "(String,int)", "", "Argument[0]", "ReturnValue", "taint", "ai-manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "InetSocketAddress", "(InetAddress,int)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "InetSocketAddress", "(String,int)", "", "Argument[0]", "Argument[this]", "taint", "ai-manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "InetSocketAddress", "(InetAddress,int)", "", "Argument[1]", "Argument[this].SyntheticField[java.net.InetSocketAddress.port]", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "InetSocketAddress", "(String,int)", "", "Argument[1]", "Argument[this].SyntheticField[java.net.InetSocketAddress.port]", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "createUnresolved", "(String,int)", "", "Argument[0]", "ReturnValue", "taint", "ai-manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "getAddress", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "getHostName", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "getHostString", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"]
|
||||
- ["java.net", "InetSocketAddress", True, "getPort", "()", "", "Argument[this].SyntheticField[java.net.InetSocketAddress.port]", "ReturnValue", "taint", "manual"]
|
||||
- ["java.net", "URI", False, "resolve", "(URI)", "", "Argument[this]", "ReturnValue", "taint", "ai-manual"]
|
||||
- ["java.net", "URI", False, "URI", "(String,String,String,int,String,String,String)", "", "Argument[5]", "Argument[this].SyntheticField[java.net.URI.query]", "taint", "ai-manual"]
|
||||
- ["java.net", "URI", False, "URI", "(String,String,String)", "", "Argument[1]", "ReturnValue", "taint", "ai-manual"]
|
||||
|
||||
Reference in New Issue
Block a user