Java: Temporarily replace model pack for jsonwebtoken with automodel-generated one.

2026-05-21 14:47:10 +02:00 · 2024-05-10 12:59:47 +01:00
1 changed files with 232 additions and 14 deletions
--- a/java/ql/lib/ext/io.jsonwebtoken.model.yml
+++ b/java/ql/lib/ext/io.jsonwebtoken.model.yml
@@ -1,15 +1,233 @@
 extensions:
-  - addsTo:
-      pack: codeql/java-all
-      extensible: summaryModel
-    data:
-      - ["io.jsonwebtoken", "JwsHeader", True, "getAlgorithm", "", "", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.algorithm]", "ReturnValue", "taint", "manual"]
-      - ["io.jsonwebtoken", "JwsHeader", True, "setAlgorithm", "", "", "Argument[0]", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.algorithm]", "taint", "manual"]
-      - ["io.jsonwebtoken", "JwsHeader", True, "getKeyId", "", "", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.keyId]", "ReturnValue", "taint", "manual"]
-      - ["io.jsonwebtoken", "JwsHeader", True, "setKeyId", "", "", "Argument[0]", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.keyId]", "taint", "manual"]
-  - addsTo:
-      pack: codeql/java-all
-      extensible: sourceModel
-    data:
-      - ["io.jsonwebtoken", "SigningKeyResolver", True, "resolveSigningKey", "", "", "Parameter[0]", "remote", "manual"]
-      - ["io.jsonwebtoken", "SigningKeyResolverAdapter", True, "resolveSigningKeyBytes", "", "", "Parameter[0]", "remote", "manual"]
+- addsTo:
+    pack: codeql/java-all
+    extensible: summaryModel
+  data:
+    - ["io.jsonwebtoken", "JwsHeader", True, "getAlgorithm", "", "", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.algorithm]", "ReturnValue", "taint", "manual"]
+    - ["io.jsonwebtoken", "JwsHeader", True, "setAlgorithm", "", "", "Argument[0]", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.algorithm]", "taint", "manual"]
+    - ["io.jsonwebtoken", "JwsHeader", True, "getKeyId", "", "", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.keyId]", "ReturnValue", "taint", "manual"]
+    - ["io.jsonwebtoken", "JwsHeader", True, "setKeyId", "", "", "Argument[0]", "Argument[this].SyntheticField[io.jsonwebtoken.JwsHeader.keyId]", "taint", "manual"]
+
+- addsTo: {extensible: sinkModel, pack: codeql/java-all}
+  data: []
+
+- addsTo: {extensible: sourceModel, pack: codeql/java-all}
+  data:
+  - [io.jsonwebtoken, JwtBuilder, true, signWith, '(SignatureAlgorithm,Key)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, signWith, '(SignatureAlgorithm,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, signWith, '(SignatureAlgorithm,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, signWith, '(SignatureAlgorithm,Key)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, '(InputStream,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, '(InputStream,String)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, '(byte[],String)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, (InputStream), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, (InputStream), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, content, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, content, '(String,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, content, '(byte[],String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, content, '(byte[],String)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, content, (InputStream), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtBuilder, true, content, '(byte[])', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.security, DynamicJwkBuilder, true, key, (ECPrivateKey), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSetBuilder, true, add, (Jwk), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSetBuilder, true, add, '(String,Object)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.io, Parser, true, parse, (InputStream), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.io, Parser, true, parse, '(CharSequence,int,int)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.io, Parser, true, parse, '(CharSequence,int,int)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedClaims, '(CharSequence,InputStream)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedClaims, '(CharSequence,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedClaims, '(CharSequence,byte[])', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedClaims, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedContent, '(CharSequence,InputStream)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedContent, '(CharSequence,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedContent, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedContent, '(CharSequence,InputStream)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedContent, '(CharSequence,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedContent, '(CharSequence,byte[])', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedClaims, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedContent, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedContent, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedClaims, '(CharSequence,byte[])', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedContent, '(CharSequence,byte[])', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseSignedContent, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseSignedClaims, '(CharSequence,InputStream)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, LocatorAdapter, false, locate, (Header), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, encryptWith, '(SecretKey,AeadAlgorithm)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtVisitor, true, visit, (Jwe), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtVisitor, true, visit, (Jws), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtVisitor, true, visit, (Jwt), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParserBuilder, true, setSigningKey, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, encryptWith, '(Key,KeyAlgorithm,AeadAlgorithm)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, encryptWith, '(SecretKey,AeadAlgorithm)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtVisitor, true, visit, (Jws), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtVisitor, true, visit, (Jwt), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, SigningKeyResolver, true, resolveSigningKey, '(JwsHeader,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, SigningKeyResolverAdapter, true, resolveSigningKey, '(JwsHeader,byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, LocatingKeyResolver, true, resolveSigningKey, '(JwsHeader,Claims)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.lang, MapMutator, true, add, (Map), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parse, '(CharSequence,JwtHandler)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parse, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parse, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JcaTemplate, true, generatePrivate, '(KeyFactory,KeySpec)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parse, '(CharSequence,JwtHandler)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parse, '(CharSequence,JwtHandler)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parse, (Reader), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JcaTemplate, true, generatePrivate, '(KeyFactory,KeySpec)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken, JweHeaderMutator, true, agreementPartyVInfo, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.io, Deserializer, true, deserialize, (Reader), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.io, Deserializer, true, deserialize, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.compression, AbstractCompressionAlgorithm, true, doDecompress, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, JwkSetBuilder, true, add, (Collection), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.security, JwkSetBuilder, true, add, (Jwk), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.io, Serializer, true, serialize, '(Object,OutputStream)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, AbstractParser, true, parse, '(CharSequence,int,int)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, CountingInputStream, true, read, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, FilteredInputStream, true, read, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, deserialize, '(InputStream,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, decode, '(CharSequence,String)', '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, DelegatingMap, true, put, '(Object,Object)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, deserialize, '(InputStream,String)', '', 'Parameter[1]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, decode, '(CharSequence,String)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, DefaultRegistry, true, put, '(Object,Object)', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, ClaimsMutator, true, setNotBefore, (Date), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, X509Mutator, true, x509Sha1Thumbprint, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, X509Mutator, true, x509Chain, (List), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, X509Mutator, true, x509Url, (URI), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, ProtectedHeaderMutator, true, jwkSetUrl, (URI), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, id, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, addClaims, (Map), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, setPayload, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtBuilder, true, setHeader, (Map), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtHandler, true, onClaimsJws, (Jws), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, SupportedJwtVisitor, true, onDecryptedClaims, (Jwe), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseEncryptedClaims, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseEncryptedContent, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseUnsecuredClaims, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseUnsecuredContent, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseUnsecuredContent, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseClaimsJwt, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseContentJwt, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, AbstractX509Context, true, x509Url, (URI), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, Base64UrlCodec, true, decode, (String), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, Function, true, apply, (Object), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DelegatingClaimsMutator, true, id, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DelegatingClaimsMutator, true, setId, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DelegatingClaimsMutator, true, setExpiration, (Date), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJweHeaderMutator, true, jwkSetUrl, (URI), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJweHeaderMutator, true, setType, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseEncryptedClaims, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseEncryptedClaims, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseEncryptedContent, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseUnsecuredContent, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJws, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJws, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJwt, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJwt, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseContentJwt, (CharSequence), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, JwtTokenizer, true, tokenize, (Reader), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, JwtTokenizer, true, tokenize, (Reader), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.io, Encoder, true, encode, (Object), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, CharSequenceReader, true, read, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, DelegateStringDecoder, true, decode, (InputStream), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, JsonObjectDeserializer, true, apply, (Reader), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, DefaultParameter, true, applyTo, (Object), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, NullSafeConverter, true, applyTo, (Object), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, PropagatingExceptionFunction, true, apply, (Object), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AbstractJwk, true, remove, (Object), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JwkFactory, true, createJwk, (JwkContext), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AesAlgorithm, true, getIvSpec, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AesAlgorithm, true, ensureInitializationVector, (Request), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AesWrapKeyAlgorithm, true, getDecryptionKey, (DecryptionKeyRequest), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, ConstantKeyLocator, true, apply, (Header), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.security, DynamicJwkBuilder, true, ecChain, (List), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultDynamicJwkBuilder, true, ecChain, (List), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JwkContext, true, setOperations, (Collection), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JwkContext, true, parameter, (Parameter), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkContext, true, setPublicKeyUse, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSetBuilder, true, delete, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSetBuilder, true, delete, (String), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JwtX509StringConverter, true, applyFrom, (CharSequence), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, OctetPublicJwkFactory, true, createJwkFromValues, (JwkContext), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, X509BuilderSupport, true, x509Url, (URI), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultKeyPairBuilder, true, DefaultKeyPairBuilder, '(String,AlgorithmParameterSpec)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultKeyPairBuilder, true, DefaultKeyPairBuilder, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, ClaimsMutator, true, id, (String), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, ProtectedHeaderMutator, true, jwkSetUrl, (URI), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtHandlerAdapter, true, onClaimsJws, (Jws), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtHandlerAdapter, true, onDecryptedContent, (Jwe), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtHandlerAdapter, true, onVerifiedContent, (Jws), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseEncryptedClaims, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, JwtParser, true, parseClaimsJws, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, AbstractX509Context, true, x509Url, (URI), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, CompressionCodecLocator, true, locate, (Header), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseUnsecuredClaims, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseUnsecuredContent, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJws, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseContentJws, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseClaimsJwt, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParser, true, parseContentJwt, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParserBuilder, true, deserializeJsonWith, (Deserializer), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, AbstractParserBuilder, true, json, (Deserializer), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, RequiredBitLengthConverter, true, applyTo, '(byte[])', '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, UriStringConverter, true, applyFrom, (CharSequence), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AbstractJwkBuilder, true, newContext, (Key), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.security, DigestAlgorithm, true, digest, (Request), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AesGcmKeyAlgorithm, true, getDecryptionKey, (DecryptionKeyRequest), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, X509BuilderSupport, true, x509Url, (URI), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken, Header, true, getType, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, Header, true, getType, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, Jwt, true, getPayload, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, Jwt, true, getBody, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JweHeader, true, getAuthenticationTag, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JweHeader, true, getAgreementPartyUInfo, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, JweHeader, true, getAgreementPartyUInfo, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken, ProtectedHeader, true, getJwk, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken, ProtectedHeader, true, getJwkSetUrl, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.io, AbstractDeserializer, false, deserialize, (Reader), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.io, AbstractDeserializer, false, deserialize, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, AbstractX509Context, true, getX509Chain, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, AbstractX509Context, true, getX509Url, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultClaims, true, getAudience, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultClaims, true, getIssuer, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultClaims, true, getName, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJwtParserBuilder, true, key, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultMutableJweHeader, true, getX509Url, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultMutableJweHeader, true, getJwkSetUrl, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultMutableJweHeader, true, getJwkSetUrl, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultProtectedHeader, true, getJwkSetUrl, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, ParameterMap, true, values, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, TokenizedJwe, true, getEncryptedKey, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl, TokenizedJwt, true, getPayload, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.compression, AbstractCompressionAlgorithm, false, decompress, '(byte[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AbstractAsymmetricJwk, true, getX509Chain, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AbstractPrivateJwk, true, toKeyPair, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultSecureRequest, true, getKey, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultAeadResult, true, getDigest, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultKeyRequest, true, getEncryptionAlgorithm, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, JwkContext, true, getKey, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkContext, true, getKey, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkContext, true, getKey, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSet, true, iterator, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultJwkSet, true, getKeys, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultVerifyDigestRequest, true, getDigest, (), '', 'Parameter[this]', remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultVerifySecureDigestRequest, true, getDigest, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, X509Accessor, true, getX509Url, (), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, IdRegistry, true, IdRegistry, '(String,Collection,boolean)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.lang, Strings, false, tokenizeToStringArray, '(String,String,boolean,boolean)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, AbstractFamilyJwkFactory, true, supports, (JwkContext), '', 'Parameter[0]', remote, ai-generated]
+  - [io.jsonwebtoken.io, AbstractSerializer, false, serialize, (Object), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, ConvertingParser, false, parse, (Reader), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl, DefaultJws, true, DefaultJws, '(JwsHeader,Object,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.io, Streams, false, bytes, '(InputStream,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, Bytes, false, concat, '(byte[][])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.lang, Parameters, false, string, '(String,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, DefaultDecryptionKeyRequest, true, DefaultDecryptionKeyRequest, '(byte[],Provider,SecureRandom,JweHeader,AeadAlgorithm,Key)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, EdwardsCurve, false, findById, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.impl.security, OctetJwkFactory, false, getCurve, (ParameterReadable), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.lang, Assert, false, stateIsInstance, '(Class,Object,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.lang, Assert, false, hasText, '(CharSequence,String)', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.lang, Classes, false, getResourceAsStream, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.lang, Strings, false, getFilename, (String), '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, Keys, false, password, '(char[])', '', ReturnValue, remote, ai-generated]
+  - [io.jsonwebtoken.security, Keys, false, hmacShaKeyFor, '(byte[])', '', ReturnValue, remote, ai-generated]