Owen Mansel-Chan
|
b07d2fb7d7
|
Merge pull request #21740 from owen-mc/go/overlay-correctness
Go: improve accuracy of overlay annotations
|
2026-04-28 11:35:14 +01:00 |
|
Tom Hvitved
|
2e94b09e6f
|
Address review comments
|
2026-04-27 14:18:41 +02:00 |
|
Owen Mansel-Chan
|
710c1ba050
|
Make getACallee overlay[global]
Co-authored-by: Copilot <copilot@github.com>
|
2026-04-24 12:35:11 +01:00 |
|
Tom Hvitved
|
8e26fa1c81
|
Go: Avoid combinatorial explosion in mostRecentSideEffect when there are multiple entry points
|
2026-04-24 13:24:58 +02:00 |
|
Owen Mansel-Chan
|
57eaed4dcc
|
Refactor: remove fields from EncryptionOperation
Co-authored-by: Copilot <copilot@github.com>
|
2026-04-22 13:37:35 +01:00 |
|
Owen Mansel-Chan
|
6efb21314a
|
Merge pull request #21523 from owen-mc/docs/mad/barriers
Document models-as-data barriers and barrier guards and add change notes
|
2026-04-21 13:49:19 +01:00 |
|
github-actions[bot]
|
a0bab539bb
|
Post-release preparation for codeql-cli-2.25.3
|
2026-04-20 12:40:34 +00:00 |
|
github-actions[bot]
|
c861d99802
|
Release preparation for version 2.25.3
|
2026-04-20 09:27:23 +00:00 |
|
Owen Mansel-Chan
|
bc28e1726c
|
Refactor to get rid of duplication
|
2026-04-17 13:24:16 +01:00 |
|
Owen Mansel-Chan
|
9f4fd7fab0
|
Remove a data flow consistency exclusion
This is no longer needed.
|
2026-04-17 11:27:36 +01:00 |
|
Owen Mansel-Chan
|
f6135b70ea
|
Remove global function step from local flow
|
2026-04-16 11:15:01 +01:00 |
|
Owen Mansel-Chan
|
8f17b73796
|
Fix link formatting in change notes
|
2026-04-14 15:27:37 +01:00 |
|
Owen Mansel-Chan
|
c86ba38a4e
|
Add change notes
|
2026-04-14 15:27:31 +01:00 |
|
Henry Mercer
|
43c9b95e6f
|
Merge branch 'main' into post-release-prep/codeql-cli-2.25.2
|
2026-04-14 13:56:52 +01:00 |
|
Owen Mansel-Chan
|
7458674470
|
Merge pull request #21584 from owen-mc/shared/update-mad-comments
Shared: update code comments explaining models-as-data format to include barriers and barrier guards
|
2026-04-14 09:30:28 +01:00 |
|
github-actions[bot]
|
242090e0ac
|
Post-release preparation for codeql-cli-2.25.2
|
2026-04-06 13:49:20 +00:00 |
|
github-actions[bot]
|
4fe2f6d2b4
|
Release preparation for version 2.25.2
|
2026-04-06 10:30:38 +00:00 |
|
github-actions[bot]
|
ce6e6d5db3
|
Post-release preparation for codeql-cli-2.25.1
|
2026-03-30 08:43:48 +00:00 |
|
Owen Mansel-Chan
|
a7fdc4b543
|
Replace acceptingvalue with acceptingValue
|
2026-03-27 22:15:45 +00:00 |
|
Owen Mansel-Chan
|
b3285c6ae2
|
Make description of acceptingvalue column clearer
|
2026-03-27 11:35:22 +00:00 |
|
Owen Mansel-Chan
|
e680d49c93
|
Shared: document extensible relations rather than CSV
|
2026-03-27 09:47:32 +00:00 |
|
Owen Mansel-Chan
|
805d2ec46c
|
Go: Add provenance to MaD format explanation
|
2026-03-27 09:47:28 +00:00 |
|
Owen Mansel-Chan
|
10fddc7b96
|
Add barriers and barrier guards to MaD format explanations
|
2026-03-27 09:47:24 +00:00 |
|
github-actions[bot]
|
fb011842c9
|
Release preparation for version 2.25.1
|
2026-03-25 23:43:06 +00:00 |
|
github-actions[bot]
|
8cf0954796
|
Release preparation for version 2.25.1
|
2026-03-25 08:28:30 +00:00 |
|
github-actions[bot]
|
e3dbf5b022
|
Post-release preparation for codeql-cli-2.25.0
|
2026-03-16 16:03:22 +00:00 |
|
github-actions[bot]
|
d6055754b6
|
Release preparation for version 2.25.0
|
2026-03-16 12:15:34 +00:00 |
|
Owen Mansel-Chan
|
99f4930e24
|
Explicitly mark DataFlowNodes.qll as overlay[local]
|
2026-03-13 15:23:39 +00:00 |
|
Owen Mansel-Chan
|
f32f85399a
|
Mark various files as overlay[local]
|
2026-03-13 15:03:02 +00:00 |
|
Jonas Jensen
|
c56feb7644
|
Go: annotate the standard library with for overlay
This commit is auto-generated with:
python3 config/add-overlay-annotations.py go
|
2026-03-13 15:03:01 +00:00 |
|
Owen Mansel-Chan
|
d7d1554461
|
Merge pull request #21465 from owen-mc/go/small-tweaks
Go: improve detection of type expressions when database is missing some type information
|
2026-03-12 14:58:16 +00:00 |
|
Owen Mansel-Chan
|
c271755985
|
Add and use exprRefersToNil predicate
|
2026-03-12 13:28:57 +00:00 |
|
Owen Mansel-Chan
|
a16c43881b
|
Use "database" instead of "snapshot" in QLDocs
|
2026-03-12 13:28:06 +00:00 |
|
Owen Mansel-Chan
|
39e0382089
|
Improve QLDoc for isTypeExprTopDown
|
2026-03-12 13:28:05 +00:00 |
|
Owen Mansel-Chan
|
22e012c6f4
|
Expand isTypeExprTopDown
We should be using all subtypes of `FieldBase`. This allows us to find
more type expressions, and is also simpler to evaluate.
|
2026-03-12 13:28:03 +00:00 |
|
Óscar San José
|
3b9eba2afc
|
Merge branch 'main' of https://github.com/github/codeql into oscarsj/merge-back-rc-3.21
|
2026-03-06 16:20:36 +01:00 |
|
Owen Mansel-Chan
|
c82f75604a
|
Add change notes
|
2026-03-05 10:34:30 +00:00 |
|
github-actions[bot]
|
e152f08468
|
Post-release preparation for codeql-cli-2.24.3
|
2026-03-02 22:51:27 +00:00 |
|
github-actions[bot]
|
7795badd18
|
Release preparation for version 2.24.3
|
2026-03-02 13:23:40 +00:00 |
|
github-actions[bot]
|
b5898c5a30
|
Post-release preparation for codeql-cli-2.24.2
|
2026-02-16 17:07:45 +00:00 |
|
github-actions[bot]
|
ef04f927fb
|
Release preparation for version 2.24.2
|
2026-02-16 13:29:25 +00:00 |
|
Owen Mansel-Chan
|
936c4cc79f
|
Fix edge case in MaD validation
If the db contains no pointer types then we were getting spurious model
validation errors.
|
2026-02-10 22:32:31 +00:00 |
|
Owen Mansel-Chan
|
e1bddd9365
|
Model newly added functions
|
2026-02-10 22:32:30 +00:00 |
|
Jeroen Ketema
|
22e9b42808
|
Go: Add change note
|
2026-02-10 22:31:10 +00:00 |
|
Owen Mansel-Chan
|
90401b3ad3
|
Merge pull request #21254 from owen-mc/go/astnode-get-enclosing-block
Go: Add `AstNode.getEnclosingBlock()`
|
2026-02-06 22:23:15 +00:00 |
|
Owen Mansel-Chan
|
e00390d23a
|
Merge pull request #21224 from owen-mc/go/use-shared-basic-block-lib
Go: Use shared basic block lib
|
2026-02-02 16:31:06 +00:00 |
|
github-actions[bot]
|
73d06f26cb
|
Post-release preparation for codeql-cli-2.24.1
|
2026-02-02 14:04:26 +00:00 |
|
github-actions[bot]
|
0db542e9f0
|
Release preparation for version 2.24.1
|
2026-02-02 12:09:09 +00:00 |
|
Owen Mansel-Chan
|
8aa1bff9a5
|
Add AstNode.getEnclosingBlock()
|
2026-02-01 23:06:26 +00:00 |
|
Owen Mansel-Chan
|
2f29c905c3
|
Fix typo in change note
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-01-28 22:39:08 +00:00 |
|