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 |
|
Anders Schack-Mulligen
|
77b09f3660
|
Dataflow: Add type to partial flow summary context
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
11c05257d4
|
Dataflow: Duplicate accesspath type info in partial flow.
|
2023-04-27 14:52:20 +02:00 |
|
Anders Schack-Mulligen
|
fd36304da2
|
Dataflow: Add type to PathNode.toString
|
2023-04-27 14:50:55 +02:00 |
|
Anders Schack-Mulligen
|
5a027b95bd
|
Dataflow: Duplicate accesspath type info in PathNode and pathStep.
|
2023-04-27 14:33:33 +02:00 |
|