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 |
|
Michael Nebel
|
2a932f0748
|
Merge pull request #20328 from michaelnebel/java/ql4ql
Java: Fix some Ql4Ql violations.
|
2025-09-02 12:01:16 +02:00 |
|
Michael Nebel
|
77113b2e42
|
Java: Fix some Ql4Ql violations.
|
2025-09-01 15:04:08 +02:00 |
|
Anders Schack-Mulligen
|
4e70627629
|
Guards: Use shared SuccessorType.
|
2025-09-01 13:55:29 +02:00 |
|
Anders Schack-Mulligen
|
144e34c669
|
Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.
|
2025-09-01 13:43:32 +02:00 |
|
Anders Schack-Mulligen
|
4685b4f8a9
|
Java: Use shared SuccessorType.
|
2025-09-01 13:00:20 +02:00 |
|
Anders Schack-Mulligen
|
09b2c5abf0
|
BasicBlock: Replace entryBlock predicate with subclass.
|
2025-09-01 11:48:44 +02:00 |
|
Anders Schack-Mulligen
|
3821f172df
|
Guards/Java: Use BasicBlock signature in Guards library.
|
2025-09-01 11:26:36 +02:00 |
|
Anders Schack-Mulligen
|
f459ddc40a
|
Languages: Adapt to api changes.
|
2025-09-01 11:26:33 +02:00 |
|
Anders Schack-Mulligen
|
bb3abc815f
|
SSA: Update input to use member predicates.
|
2025-09-01 11:19:48 +02:00 |
|
Kasper Svendsen
|
9cc6e9c8a9
|
Overlay: Add discarding for Java classes, interfaces & fields
|
2025-08-27 12:07:59 +02:00 |
|
Jami
|
3675e4bb4f
|
Merge branch 'main' into jcogs33/java/insecure-spring-actuator-config-promotion
|
2025-08-26 08:02:17 -04:00 |
|
Anders Schack-Mulligen
|
f2352f76c0
|
Java: Teach guards that exceptions in catch-clauses are non-null.
|
2025-08-22 10:16:42 +02:00 |
|
Anders Schack-Mulligen
|
02452704b2
|
Java: Fix bug in nullness
|
2025-08-22 10:15:22 +02:00 |
|
Ben Rodes
|
65ff72719e
|
Merge branch 'main' into signature_model_refactor
|
2025-08-20 12:34:06 -04:00 |
|
github-actions[bot]
|
42e3d31c49
|
Post-release preparation for codeql-cli-2.22.4
|
2025-08-18 14:42:42 +00:00 |
|
github-actions[bot]
|
90d29994c8
|
Release preparation for version 2.22.4
|
2025-08-18 14:06:09 +00:00 |
|
Sid Gawri
|
d84e5319c3
|
changenote
|
2025-08-15 15:59:05 -04:00 |
|
Sid Gawri
|
a8889ff056
|
add extensions for remote sources
|
2025-08-14 16:10:49 -04:00 |
|
Anders Schack-Mulligen
|
492a5ca087
|
Java: Add some more exception edges to the CFG to facilitate guard wrappers.
|
2025-08-08 10:40:07 +02:00 |
|