Anders Schack-Mulligen
|
e53b22dfa7
|
SSA/VariableCapture: Use shared BasicBlock signature.
|
2025-09-01 11:19:49 +02:00 |
|
Anders Schack-Mulligen
|
bb3abc815f
|
SSA: Update input to use member predicates.
|
2025-09-01 11:19:48 +02:00 |
|
Anders Schack-Mulligen
|
119837bb1d
|
BasicBlock: Add CFG signature.
|
2025-09-01 11:19:48 +02:00 |
|
Joe Farebrother
|
1b808fed34
|
Fix incorrect switch of None and Some cases
|
2025-09-01 09:51:00 +01:00 |
|
Joe Farebrother
|
80ab35c3a0
|
Apply review suggestions - rename things and clean up style.
|
2025-09-01 09:50:54 +01:00 |
|
Joe Farebrother
|
8e5efb5fba
|
Add change note
|
2025-09-01 09:50:47 +01:00 |
|
Joe Farebrother
|
fc5501b9c8
|
Add LocOption2 for types with getLocation.
|
2025-09-01 09:50:39 +01:00 |
|
Joe Farebrother
|
51f96deb2e
|
Add shared LocOption module for optional types with locations
|
2025-09-01 09:50:30 +01:00 |
|
Asger F
|
67a1c2ffef
|
Update javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-09-01 10:20:17 +02:00 |
|
Asger F
|
0d0eaa21a1
|
Merge pull request #20302 from asgerf/js/simpler-locations
JS: Remove synthetic locations
|
2025-09-01 09:46:13 +02:00 |
|
Tom Hvitved
|
aa604425a5
|
Merge pull request #20305 from hvitved/csharp/dataflow-base-non-exact-type
C#: Fix context-sensitive dispatch when using `base` qualifier
|
2025-09-01 09:20:15 +02:00 |
|
Simon Friis Vindum
|
c1c7127894
|
Rust: Add examples where trait visibility affects path and method resolution
|
2025-08-30 13:26:13 +02:00 |
|
Henry Mercer
|
71bac5eda8
|
Actions: Add file coverage baseline
|
2025-08-29 20:10:45 +01:00 |
|
Henry Mercer
|
67dc01b636
|
Actions: Add successfully extracted files query
|
2025-08-29 20:10:43 +01:00 |
|
Henry Mercer
|
55869f28c3
|
Specify default queries in codeql-extractor.yml
|
2025-08-29 17:34:45 +01:00 |
|
Jeroen Ketema
|
b361b0f3c3
|
Merge pull request #20310 from MathiasVP/add-comptr-model-now-with-more-models
C++: Add `ComPtr` conversion operators
|
2025-08-29 16:45:39 +02:00 |
|
Geoffrey White
|
45d6fc04ce
|
Merge pull request #20312 from geoffw0/dbquality
Rust: Tune rust/diagnostic/database-quality
|
2025-08-29 13:04:46 +01:00 |
|
Taus
|
f89fae39c5
|
Merge pull request #20276 from github/tausbn/python-model-psycopg2-connection-pools
Python: Add support for Psycopg2 database connection pools
|
2025-08-29 13:52:59 +02:00 |
|
Geoffrey White
|
d650d56485
|
Rust: Implement upgrade and downgrade scripts.
|
2025-08-29 12:37:52 +01:00 |
|
Asger F
|
57b4534d30
|
JS: Avoid overriding Expr predicates in xUnit.qll
|
2025-08-29 13:06:05 +02:00 |
|
Jeroen Ketema
|
7c5b04a0da
|
Merge pull request #20315 from jketema/uninit-test
C++: Add uninitialized local test
|
2025-08-29 12:52:28 +02:00 |
|
Asger F
|
cc8fe10801
|
JS: Update locations in expected files
|
2025-08-29 12:03:11 +02:00 |
|
Jeroen Ketema
|
277f5efa9c
|
C++: Update dbscheme stats file
|
2025-08-29 11:13:59 +02:00 |
|
Jeroen Ketema
|
6b580ac12d
|
C++: Update expected test results
|
2025-08-29 10:57:03 +02:00 |
|
Jeroen Ketema
|
a145e52faf
|
C++: Add uninitialized local test
|
2025-08-29 10:55:10 +02:00 |
|
Tom Hvitved
|
611eca41b9
|
Add change note
|
2025-08-29 10:22:11 +02:00 |
|
Geoffrey White
|
bdc1f1715d
|
Rust: Add upgrade and downgrade scripts (template).
|
2025-08-29 08:49:33 +01:00 |
|
Geoffrey White
|
a6bdab15f6
|
Merge branch 'main' into oldpaths1
|
2025-08-29 08:30:43 +01:00 |
|
Napalys Klicius
|
b4d6cb6e5f
|
Merge pull request #20178 from Napalys/java/visible-for-testing-abuse
Java: Added new query `java/visible-for-testing-abuse`
|
2025-08-29 08:38:04 +02:00 |
|
Napalys Klicius
|
bafe22c50c
|
Merge pull request #20048 from Napalys/js/xml_bomb_sinks
JS: Exclude patched libraries from `xml-bomb` sink
|
2025-08-29 08:10:55 +02:00 |
|
Napalys Klicius
|
6132900e12
|
Java: add full stops for ql docs
|
2025-08-29 08:09:03 +02:00 |
|
dependabot[bot]
|
6e1d9752d2
|
Bump actions/checkout from 4 to 5
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2025-08-29 03:04:30 +00:00 |
|
REDMOND\brodes
|
74ce7cd188
|
Crypto: Moving all data flow analyses to taint tracking.
|
2025-08-28 20:40:05 -04:00 |
|
Tom Hvitved
|
0cc9ff8320
|
Merge pull request #20225 from hvitved/rust/path-resolution-crate-fallback
Rust: Fallback crate resolution
|
2025-08-28 20:48:51 +02:00 |
|
Geoffrey White
|
5d14ef5fd3
|
Rust: Change note.
|
2025-08-28 17:14:53 +01:00 |
|
Geoffrey White
|
9e0a31cafc
|
Rust: Change note.
|
2025-08-28 17:08:03 +01:00 |
|
Geoffrey White
|
5c90b908cd
|
Rust: Lower the thresholds in rust/diagnostic/database-quality to more pragmatic numbers.
|
2025-08-28 17:08:02 +01:00 |
|
Jeroen Ketema
|
b8917c8c19
|
Merge branch 'main' into add-comptr-model-now-with-more-models
|
2025-08-28 17:15:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
b9cd7a80f9
|
C++: Fix conflation in models.
|
2025-08-28 17:10:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
759e339444
|
C++: Add change note.
|
2025-08-28 17:02:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
e59de9a3d6
|
C++: Add models for the remaining member functions (and conversions) in ComPtr.
|
2025-08-28 16:56:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
3e78572a3a
|
C++: Drive-by fix: Add missing '@'.
|
2025-08-28 16:54:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
2c2b1e4116
|
Merge pull request #20306 from MathiasVP/fix-new-initializer-bug
C++: Fix IR construction for implicit conversions in `new` initializers
|
2025-08-28 16:40:37 +02:00 |
|
Jeroen Ketema
|
1847a450cc
|
Merge pull request #20298 from jketema/pch-expose
C++: Add class representing PCH files
|
2025-08-28 15:33:20 +02:00 |
|
Geoffrey White
|
e8b7ce43a5
|
Merge pull request #20270 from geoffw0/pathi
Rust: Improve FS models
|
2025-08-28 14:30:18 +01:00 |
|
Napalys Klicius
|
c836104717
|
Update java/ql/src/Violations of Best Practice/Implementation Hiding/VisibleForTestingAbuse.md
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2025-08-28 15:01:53 +02:00 |
|
Napalys Klicius
|
d3be456c5c
|
Update java/ql/src/Violations of Best Practice/Implementation Hiding/VisibleForTestingAbuse.ql
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2025-08-28 15:01:43 +02:00 |
|
Napalys Klicius
|
73c8f3ded9
|
Merge pull request #20205 from Napalys/java/mocking-all-non-private-methods-means-unit-test-is-too-big
Java: port quality query `java/mocking-all-non-private-methods-means-unit-test-is-too-big`
|
2025-08-28 14:59:37 +02:00 |
|