Ed Minnix
62cbcdb30c
Add change note
2023-05-04 16:52:40 -04:00
Ed Minnix
a4f4ff15ce
Change method resolveSigningKey from class to interface
...
The resolveSigningKey method of SigningKeyResolverAdapter is an
implementation of that defined in SigningKeyResolver. So this changes
the type from the class to the interface it implements
2023-05-04 16:52:40 -04:00
Ed Minnix
5c10d42915
More test cases for io.jsonwebtoken.SigningKeyResolverAdapter
2023-05-04 16:52:40 -04:00
Ed Minnix
a4fa1ec768
Test case for modeling io.jsonwebtoken.SigningKeyResolverAdapter
2023-05-04 16:52:40 -04:00
Ed Minnix
3d0147765c
Add missing methods to jwtk-jjwt stubs
2023-05-04 16:52:40 -04:00
Ed Minnix
a38466b0f3
Erase generics in generated model
2023-05-04 16:52:40 -04:00
Ed Minnix
26cdf24bf0
Added MaD models for io.jsonwebtoken
2023-05-04 16:52:39 -04:00
Jami
3c74c8bbe0
Merge pull request #13019 from jcogs33/jcogs33/url-open-stream-updates
...
Java: switch `url-open-stream` sink models to `experimentalSinkModel`
2023-05-04 15:07:44 -04:00
Jami
4e31c46b0c
Merge pull request #13024 from jcogs33/jcogs33/remove-hardcoded-jwt-key-summaries
...
Java: remove `hardcoded-jwt-key` experimental summary models
2023-05-04 11:18:18 -04:00
Kasper Svendsen
4035b16ac1
Merge pull request #13008 from kaspersv/kaspersv/explicit-this-receivers-shared1
...
Java, C#: Make implicit this receivers explicit
2023-05-04 15:38:45 +02:00
Anders Schack-Mulligen
1185bfc90f
Merge pull request #12986 from aschackmull/java/mapvalue-precision
...
Java: Force high precision for MapValueContent.
2023-05-04 14:52:41 +02:00
Kasper Svendsen
29239939c7
Merge pull request #13010 from kaspersv/kaspersv/java-explicit-this-receivers
...
Java: Make implicit this receivers explicit
2023-05-04 13:06:41 +02:00
Jami Cogswell
78661f4ec9
Java: remove hardcoded-jwt-key summaries
2023-05-03 16:09:30 -04:00
Jami Cogswell
2e683b3dd2
Java: add change note
2023-05-03 10:43:50 -04:00
Jami Cogswell
1d39402c98
Java: remove url-open-stream from cwe-sink csv; this removes CWE-036 from the framework coverage report
2023-05-03 10:12:12 -04:00
Jami Cogswell
2224c5d9be
Java: remove url-open-stream kind from getInvalidModelKind
2023-05-03 10:08:50 -04:00
Jami Cogswell
917268e7e6
Java: activate the models in openstream query
2023-05-03 09:57:45 -04:00
Jami Cogswell
f8b39fda2e
Java: switch url-open-stream models to experimentalSinkModel
2023-05-03 09:11:24 -04:00
Ian Lynagh
b56b843d13
Merge pull request #12987 from github/post-release-prep/codeql-cli-2.13.1
...
Post-release preparation for codeql-cli-2.13.1
2023-05-03 13:12:10 +01:00
Kasper Svendsen
081085e128
Java: Make implicit this receivers explicit
2023-05-03 13:37:35 +02:00
Kasper Svendsen
e071a25653
Java, C#: Make implicit this receivers explicit
2023-05-03 13:09:00 +02:00
Edward Minnix III
733a00039e
Merge pull request #12864 from egregius313/egregius313/java/mad/update-typeAsModel
...
Java: Erase generics in `typeAsModel` predicate used in model generator
2023-05-02 15:28:51 -04:00
Anders Schack-Mulligen
353d5f82a6
Merge pull request #12984 from aschackmull/dataflow/instanceof-node
...
Dataflow: Replace "extends Node" with "instanceof Node".
2023-05-02 13:52:33 +02:00
github-actions[bot]
18d4af994d
Post-release preparation for codeql-cli-2.13.1
2023-05-02 10:50:20 +00:00
Anders Schack-Mulligen
97cd3b8576
Java: Force high precision for MapValueContent.
2023-05-02 11:19:21 +02:00
Anders Schack-Mulligen
ca09649679
Dataflow: Forward hasLocationInfo.
2023-05-02 10:48:32 +02:00
Anders Schack-Mulligen
2001ce34d4
Java/C#: Adjust references.
2023-05-02 10:21:09 +02:00
Tony Torralba
51c08f1314
Merge pull request #12969 from atorralba/atorralba/java/fix-model-generator-sinks-instance-parameters
...
Java: Fix sink model generator for instance parameters
2023-05-02 10:10:59 +02:00
Anders Schack-Mulligen
5927bb2030
Dataflow: Replace "extends Node" with "instanceof Node".
2023-05-02 09:48:34 +02:00
Anders Schack-Mulligen
6c8cb0dc5e
Merge pull request #12930 from aschackmull/dataflow/split-typedcontent
...
Dataflow: Refactor access paths to split TypedContent into an explicit pair
2023-05-01 14:58:15 +02:00
Tony Torralba
77ec181cac
Java: Fix sink model generator for instance parameters
2023-04-28 14:49:04 +02:00
github-actions[bot]
3bd29171fb
Release preparation for version 2.13.1
2023-04-28 12:14:35 +00:00
Anders Schack-Mulligen
9df2ee00d6
Java: Add SrcCallable.isImplicitlyPublic convenience predicate.
2023-04-27 15:20:49 +02:00
Anders Schack-Mulligen
71ae0909d8
Dataflow: Enforce type pruning in all forward stages.
2023-04-27 14:55:26 +02:00
Anders Schack-Mulligen
a761eea2dc
Dataflow: Autoformat
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
9ad2da6196
Java: Fix reference to TypedContent.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
4f2d2361a4
Dataflow: Eliminate TypedContent.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
5373b4d466
Dataflow: Remove superfluous predicates.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
b534e7b6d5
Dataflow: Remove superfluous columns
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
a2fa97ac22
Dataflow: Replace TypedContent with Content in access paths.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
123534a676
Dataflow: Eliminate front type in AccessPathFront.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
ff3e45e1ba
Dataflow: Eliminate TypedContentApprox.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
748bcba0ae
Dataflow: Eliminate now-redundant type in nil accesspath approximations.
2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen
95b95e5c27
Dataflow: Duplicate type info for AccessPathApprox tails.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
52f50b8d9d
Dataflow: Replace AccessPath push/pop with isCons.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
142479eeb7
Dataflow: Duplicate type info for AccessPath tails.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
69202d2dae
Dataflow: Include type in post-stage-5 tail relation.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
933d2fbb9f
Dataflow: Replace RevPartialAccessPath with the now identical PartialAccessPath.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
2cf58fccf7
Dataflow: Remove type from PartialAccessPath.
2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen
e5d36ff461
Dataflow: Add type to stage 2-5 summary ctx.
2023-04-27 14:52:24 +02:00
