hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Generate tests; fix models

Browse Source
This commit is contained in:
Joe Farebrother
2023-03-14 14:29:49 +00:00
parent 14f753b8cf
commit 9287549e93
12 changed files with 1843 additions and 243 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/ext/io.netty.handler.codec.http.cookie.model.yml
View File

@@ -7,9 +7,9 @@ extensions:
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "name", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "path", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "value", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setDomain", "()", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setPath", "()", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setValue", "()", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setDomain", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setPath", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "Cookie", True, "setValue", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "ServerCookieDecoder", True, "decode", "(String)", "", "Argument[0]", "ReturnValue.Element", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "ServerCookieDecoder", True, "decodeAll", "(String)", "", "Argument[0]", "ReturnValue.Element", "taint", "manual"]
- ["io.netty.handler.codec.http.cookie", "ServerCookieEncoder", True, "encode", "(Cookie)", "", "Argument[0]", "ReturnValue", "taint", "manual"]

4
java/ql/lib/ext/io.netty.handler.codec.http.model.yml
View File

@@ -62,8 +62,8 @@ extensions:
- ["io.netty.handler.codec.http", "HttpHeaders", True, "setInt", "(CharSequence,int)", "", "Argument[0]", "Argument[-1].Element.MapKey", "value", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "setShort", "(CharSequence,short)", "", "Argument[-1]", "ReturnValue", "value", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "setShort", "(CharSequence,short)", "", "Argument[0]", "Argument[-1].Element.MapKey", "value", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "valueStringIterator", "()", "", "Argument[-1].Element.MapValue", "ReturnValue.Element", "value", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "valueCharSequenceIterator", "()", "", "Argument[-1].Element.MapValue", "ReturnValue.Element", "taint", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "valueStringIterator", "(CharSequence)", "", "Argument[-1].Element.MapValue", "ReturnValue.Element", "value", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "valueCharSequenceIterator", "(CharSequence)", "", "Argument[-1].Element.MapValue", "ReturnValue.Element", "taint", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "toString", "", "", "Argument[-1].Element.MapKey", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "HttpHeaders", True, "toString", "", "", "Argument[-1].Element.MapValue", "ReturnValue", "taint", "manual"]
# Currently all write steps to http messages are taint flow. It may reduce FPs to use a synthetic field for headers instead.

2
java/ql/lib/ext/io.netty.handler.codec.http.multipart.model.yml
View File

@@ -35,7 +35,7 @@ extensions:
- ["io.netty.handler.codec.http.multipart", "Attribute", True, "setValue", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "getContentTransferEncoding", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "getContentType", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "getFilename", "(String)", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "getFilename", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "setContentTransferEncoding", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "setContentType", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.multipart", "FileUpload", True, "setFilename", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]

2
java/ql/lib/ext/io.netty.handler.codec.http.websocketx.model.yml
View File

@@ -6,7 +6,7 @@ extensions:
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "CloseWebSocketFrame", "(boolean,int,ByteBuf)", "", "Argument[2]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "CloseWebSocketFrame", "(boolean,int,int,String)", "", "Argument[3]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "CloseWebSocketFrame", "(int,String)", "", "Argument[1]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "CloseWebSocketFrame", "(WebSocketCloseStatus,String)", "", "Argument[2]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "CloseWebSocketFrame", "(WebSocketCloseStatus,String)", "", "Argument[1]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "reasonText", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "BinaryWebSocketFrame", True, "BinaryWebSocketFrame", "(boolean,int,ByteBuf)", "", "Argument[2]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http.websocketx", "BinaryWebSocketFrame", True, "BinaryWebSocketFrame", "(ByteBuf)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]

4
java/ql/lib/ext/io.netty.handler.codec.http2.model.yml
View File

@@ -35,10 +35,10 @@ extensions:
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "addHttp2ToHttpHeaders", "(int,Http2Headers,HttpHeaders,HttpVersion,boolean,boolean)", "", "Argument[1].Element.MapValue", "Argument[2].Element.MapValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpRequest", "", "", "Argument[1].Element.MapKey", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpRequest", "", "", "Argument[1].Element.MapValue", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpRequest", "(int,HttpHeaders,ByteBuf,boolean)", "", "Argument[2]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpRequest", "(int,Http2Headers,ByteBuf,boolean)", "", "Argument[2]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpResponse", "", "", "Argument[1].Element.MapKey", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpResponse", "", "", "Argument[1].Element.MapValue", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpResponse", "(int,HttpHeaders,ByteBuf,boolean)", "", "Argument[2]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toFullHttpResponse", "(int,Http2Headers,ByteBuf,boolean)", "", "Argument[2]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toHttp2Headers", "(HttpHeaders,boolean)", "", "Argument[0].Element.MapKey", "ReturnValue.Element.MapKey", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toHttp2Headers", "(HttpHeaders,boolean)", "", "Argument[0].Element.MapValue", "ReturnValue.Element.MapValue", "taint", "manual"]
- ["io.netty.handler.codec.http2", "HttpConversionUtil", False, "toHttp2Headers", "(HttpHeaders,Http2Headers)", "", "Argument[0].Element.MapKey", "Argument[1].Element.MapKey", "taint", "manual"]

1962
java/ql/test/library-tests/frameworks/netty/generated/Test.java
View File

File diff suppressed because it is too large Load Diff

11
java/ql/test/library-tests/frameworks/netty/generated/test.ext.yml Normal file
View File

@@ -0,0 +1,11 @@
extensions:
- addsTo:
pack: codeql/java-tests
extensible: summaryModel
data:
- ["generatedtest", "Test", False, "newWithMapValueDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"]
- ["generatedtest", "Test", False, "newWithMapKeyDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"]
- ["generatedtest", "Test", False, "newWithElementDefault", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"]
- ["generatedtest", "Test", False, "getMapValueDefault", "(Object)", "", "Argument[0].MapValue", "ReturnValue", "value", "manual"]
- ["generatedtest", "Test", False, "getMapKeyDefault", "(Object)", "", "Argument[0].MapKey", "ReturnValue", "value", "manual"]
- ["generatedtest", "Test", False, "getElementDefault", "(Object)", "", "Argument[0].Element", "ReturnValue", "value", "manual"]

12
java/ql/test/stubs/netty-4.1.x/io/netty/handler/codec/http/cookie/CookieEncoder.java generated Normal file
View File

@@ -0,0 +1,12 @@
// Generated automatically from io.netty.handler.codec.http.cookie.CookieEncoder for testing purposes
package io.netty.handler.codec.http.cookie;
abstract public class CookieEncoder
{
protected CookieEncoder() {}
protected CookieEncoder(boolean p0){}
protected final boolean strict = false;
protected void validateCookie(String p0, String p1){}
}

20
java/ql/test/stubs/netty-4.1.x/io/netty/handler/codec/http/cookie/ServerCookieEncoder.java generated Normal file
View File

@@ -0,0 +1,20 @@
// Generated automatically from io.netty.handler.codec.http.cookie.ServerCookieEncoder for testing purposes
package io.netty.handler.codec.http.cookie;
import io.netty.handler.codec.http.cookie.Cookie;
import io.netty.handler.codec.http.cookie.CookieEncoder;
import java.util.Collection;
import java.util.List;
public class ServerCookieEncoder extends CookieEncoder
{
protected ServerCookieEncoder() {}
public List<String> encode(Collection<? extends Cookie> p0){ return null; }
public List<String> encode(Cookie... p0){ return null; }
public List<String> encode(Iterable<? extends Cookie> p0){ return null; }
public String encode(Cookie p0){ return null; }
public String encode(String p0, String p1){ return null; }
public static ServerCookieEncoder LAX = null;
public static ServerCookieEncoder STRICT = null;
}

21
java/ql/test/stubs/netty-4.1.x/io/netty/handler/codec/http/websocketx/BinaryWebSocketFrame.java generated Normal file
View File

@@ -0,0 +1,21 @@
// Generated automatically from io.netty.handler.codec.http.websocketx.BinaryWebSocketFrame for testing purposes
package io.netty.handler.codec.http.websocketx;
import io.netty.buffer.ByteBuf;
import io.netty.handler.codec.http.websocketx.WebSocketFrame;
public class BinaryWebSocketFrame extends WebSocketFrame
{
public BinaryWebSocketFrame copy(){ return null; }
public BinaryWebSocketFrame duplicate(){ return null; }
public BinaryWebSocketFrame replace(ByteBuf p0){ return null; }
public BinaryWebSocketFrame retain(){ return null; }
public BinaryWebSocketFrame retain(int p0){ return null; }
public BinaryWebSocketFrame retainedDuplicate(){ return null; }
public BinaryWebSocketFrame touch(){ return null; }
public BinaryWebSocketFrame touch(Object p0){ return null; }
public BinaryWebSocketFrame(){}
public BinaryWebSocketFrame(ByteBuf p0){}
public BinaryWebSocketFrame(boolean p0, int p1, ByteBuf p2){}
}

21
java/ql/test/stubs/netty-4.1.x/io/netty/handler/codec/http/websocketx/PingWebSocketFrame.java generated Normal file
View File

@@ -0,0 +1,21 @@
// Generated automatically from io.netty.handler.codec.http.websocketx.PingWebSocketFrame for testing purposes
package io.netty.handler.codec.http.websocketx;
import io.netty.buffer.ByteBuf;
import io.netty.handler.codec.http.websocketx.WebSocketFrame;
public class PingWebSocketFrame extends WebSocketFrame
{
public PingWebSocketFrame copy(){ return null; }
public PingWebSocketFrame duplicate(){ return null; }
public PingWebSocketFrame replace(ByteBuf p0){ return null; }
public PingWebSocketFrame retain(){ return null; }
public PingWebSocketFrame retain(int p0){ return null; }
public PingWebSocketFrame retainedDuplicate(){ return null; }
public PingWebSocketFrame touch(){ return null; }
public PingWebSocketFrame touch(Object p0){ return null; }
public PingWebSocketFrame(){}
public PingWebSocketFrame(ByteBuf p0){}
public PingWebSocketFrame(boolean p0, int p1, ByteBuf p2){}
}

21
java/ql/test/stubs/netty-4.1.x/io/netty/handler/codec/http/websocketx/PongWebSocketFrame.java generated Normal file
View File

@@ -0,0 +1,21 @@
// Generated automatically from io.netty.handler.codec.http.websocketx.PongWebSocketFrame for testing purposes
package io.netty.handler.codec.http.websocketx;
import io.netty.buffer.ByteBuf;
import io.netty.handler.codec.http.websocketx.WebSocketFrame;
public class PongWebSocketFrame extends WebSocketFrame
{
public PongWebSocketFrame copy(){ return null; }
public PongWebSocketFrame duplicate(){ return null; }
public PongWebSocketFrame replace(ByteBuf p0){ return null; }
public PongWebSocketFrame retain(){ return null; }
public PongWebSocketFrame retain(int p0){ return null; }
public PongWebSocketFrame retainedDuplicate(){ return null; }
public PongWebSocketFrame touch(){ return null; }
public PongWebSocketFrame touch(Object p0){ return null; }
public PongWebSocketFrame(){}
public PongWebSocketFrame(ByteBuf p0){}
public PongWebSocketFrame(boolean p0, int p1, ByteBuf p2){}
}