Alexander Eyers-Taylor
|
c1c0828082
|
Merge pull request #20378 from github/alexet/java-regex-local
Jave: Use force local to make parsing local after global regex finding.
|
2025-09-19 13:48:43 +01:00 |
|
Alexander Eyers-Taylor
|
27e2c4d580
|
Merge pull request #20459 from github/alexet/caller_tc
Java: Make a TC overlay caller.
|
2025-09-19 13:48:34 +01:00 |
|
Kasper Svendsen
|
dbb9a26f78
|
Overlay: Future-proof Java XML discarding
|
2025-09-18 11:37:38 +02:00 |
|
Kasper Svendsen
|
3cd737e40d
|
Overlay: Future-proof Java config discarding
|
2025-09-18 10:57:22 +02:00 |
|
Alex Eyers-Taylor
|
34b40a14e8
|
Java: Make a TC overlay caller.
|
2025-09-17 16:22:22 +01:00 |
|
github-actions[bot]
|
4e8343664f
|
Post-release preparation for codeql-cli-2.23.1
|
2025-09-17 10:13:40 +00:00 |
|
Alex Eyers-Taylor
|
2201974844
|
Jave: Use force local to make parsing local after global regex finding.
|
2025-09-16 15:55:04 +01:00 |
|
github-actions[bot]
|
02a1b1efcb
|
Release preparation for version 2.23.1
|
2025-09-16 14:14:42 +00:00 |
|
Anders Schack-Mulligen
|
f9ffee010f
|
Java: Minor nullness cleanup.
|
2025-09-12 15:41:17 +02:00 |
|
Anders Schack-Mulligen
|
60d07cf30d
|
Java: Clean up IntegerGuards.qll
|
2025-09-12 15:41:16 +02:00 |
|
Anders Schack-Mulligen
|
03321ff910
|
Java: Replace nullness implementation.
|
2025-09-12 15:41:16 +02:00 |
|
Anders Schack-Mulligen
|
4a8ffea0f6
|
Shared: Add control flow reachability lib.
|
2025-09-12 15:41:15 +02:00 |
|
Anders Schack-Mulligen
|
924a8eac5c
|
Java: Improve precision of SuccessorType labels in CFG.
|
2025-09-12 13:38:21 +02:00 |
|
Anders Schack-Mulligen
|
db1f399067
|
Java: Preparatory Nullness refactor.
|
2025-09-12 13:38:20 +02:00 |
|
Anders Schack-Mulligen
|
e8ddac08b7
|
Merge pull request #20377 from aschackmull/java/preconditions
Java: Consolidate Assertions.qll and Preconditions.qll.
|
2025-09-12 13:37:41 +02:00 |
|
Alexander Eyers-Taylor
|
e9fcd985f9
|
Merge pull request #20357 from github/alexet/java-global-virtual-dispatch
Java: Make Virtual Dispatch Global, but keep SSA local.
|
2025-09-12 12:20:46 +01:00 |
|
Alex Eyers-Taylor
|
d5ee91b1e8
|
Java: Adress comments form code review.
|
2025-09-11 17:14:08 +01:00 |
|
idrissrio
|
a0e963f769
|
Java: Add change note and update supported versions
|
2025-09-11 14:37:36 +02:00 |
|
Anders Schack-Mulligen
|
e7df1b220c
|
Java: Add change note.
|
2025-09-11 10:00:53 +02:00 |
|
Alex Eyers-Taylor
|
dcc5572767
|
Java: Hnalde global files as exceptions rather than annotating them
This allows us to merge them without redundent annoations for now.
|
2025-09-10 17:26:54 +01:00 |
|
Alex Eyers-Taylor
|
5c19aad012
|
Java: Make Virtual Dispatch Global, but keep SSA local.
Use forceLocal to achive this.
|
2025-09-10 17:26:54 +01:00 |
|
Anders Schack-Mulligen
|
3815503314
|
Java: Consolidate Assertions.qll and Preconditions.qll.
|
2025-09-10 15:42:18 +02:00 |
|
idrissrio
|
762d2ef793
|
Java: Manually add new relation to stats file
|
2025-09-10 14:44:52 +02:00 |
|
idrissrio
|
a20737308a
|
Java: Revert wrongly generated stats file
The stats file generated in commit
a6b68ec7de (diff-a4cfdde566085b7f1c1315487c13ef64e4869729ae7886b6c8f4267e3cd4eab6)
was created using the wrong process.
This commit reverts that change and manually adds the new relation
for isImplicitClass.
|
2025-09-10 14:44:50 +02:00 |
|
Idriss Riouak
|
b89b68dfdb
|
Merge pull request #20339 from github/idrissrio/scoped-values
Java: Add MaDs for `java.lang.ScopedValue`
|
2025-09-10 11:21:34 +02:00 |
|
Idriss Riouak
|
166c77d776
|
Merge pull request #20345 from github/idrissrio/java-kdf
Java: Add MaDs for `java.crypto.KDF`
|
2025-09-10 11:21:19 +02:00 |
|
Anders Schack-Mulligen
|
4c1fa58367
|
Java: Fix more broken performance.
|
2025-09-08 14:12:00 +02:00 |
|
idrissrio
|
728a4aff22
|
Java: Add model for thenExpand and accept new results
|
2025-09-08 13:17:53 +02:00 |
|
idrissrio
|
55ff71b760
|
Java: Address review comment. Fix dataflow model
|
2025-09-08 13:17:51 +02:00 |
|
idrissrio
|
89e080cd99
|
Java: Add new change note
|
2025-09-08 13:17:50 +02:00 |
|
idrissrio
|
f52a427295
|
Java: Add MaDs for java.crypto.KDF
|
2025-09-08 13:17:48 +02:00 |
|
idrissrio
|
117c41bd55
|
Java: Address review comment. Fix dataflow model
|
2025-09-08 12:55:19 +02:00 |
|
idrissrio
|
2f4c728bb9
|
Java: Add new change note
|
2025-09-08 12:55:17 +02:00 |
|
idrissrio
|
9f1e60ca6d
|
Java: Add MaDs for java.lang.scoped
|
2025-09-08 12:55:14 +02:00 |
|
idrissrio
|
ed9ed43923
|
Java: Address review comment. Improve getAnImportedType definition
|
2025-09-06 12:38:44 +02:00 |
|
idrissrio
|
1caf18ede1
|
Java: Address review comment. Improve module-import documentation
|
2025-09-06 12:38:43 +02:00 |
|
idrissrio
|
7d479704e8
|
Java: Add change note
|
2025-09-06 12:38:42 +02:00 |
|
idrissrio
|
c5ee0f3c22
|
Java: Add ModuleImportDeclaration QL class
|
2025-09-06 12:38:39 +02:00 |
|
Idriss Riouak
|
e719dd912d
|
Merge pull request #20116 from github/idrissrio/compact-soruce-file
Java: Add support to Compact Source Files
|
2025-09-05 12:01:48 +02:00 |
|
idrissrio
|
fc1b9277b3
|
Java: extend definition of isCompilerGenerated for classes
|
2025-09-05 10:19:04 +02:00 |
|
idrissrio
|
a6b68ec7de
|
Java: Update stats file
|
2025-09-05 10:19:02 +02:00 |
|
idrissrio
|
c26a56a332
|
Java: Add change note
|
2025-09-05 10:19:01 +02:00 |
|
idrissrio
|
3a9a559d25
|
Java: Add upgrade and downgrade script
|
2025-09-05 10:19:00 +02:00 |
|
idrissrio
|
81b1e73e18
|
Java: Add isImplict predicate to CompilationUnit and Class
|
2025-09-05 10:18:57 +02:00 |
|
idrissrio
|
f51ee4c04f
|
Java: Add isImplicitClass table to keep track of compact source files
|
2025-09-05 10:18:56 +02:00 |
|
Kasper Svendsen
|
dd99a2d3bd
|
Merge pull request #20294 from github/kaspersv/discard-fields-and-classes
Overlay: Add discarding for Java classes, interfaces & fields
|
2025-09-04 10:05:15 +02:00 |
|
Arthur Baars
|
0bb7fdccf6
|
Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 14:14:03 +02:00 |
|
Anders Schack-Mulligen
|
f833fe0e6e
|
Merge pull request #20300 from aschackmull/cfg/successortype
Shared: Add a shared SuccessorType implementation
|
2025-09-02 14:09:35 +02:00 |
|
github-actions[bot]
|
e8a2600a0c
|
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 11:46:23 +00:00 |
|
github-actions[bot]
|
0bfa93828b
|
Release preparation for version 2.23.0
|
2025-09-02 11:09:32 +00:00 |
|